Keyphrases
Polynomial Time
80%
Abstract Interpretation
55%
Interprocedural Analysis
53%
Tree Automata
48%
System of Equations
43%
Inter-procedural
43%
Fixpoint
39%
Tree Transducers
36%
Horn Clauses
32%
Top-down Tree Transducer
31%
Guard
26%
Program Point
23%
Fixed-point Iteration
22%
Affine
22%
Program Variables
21%
One-variable
20%
Compiler
20%
First-order
20%
Least Solution
19%
Program Analysis
19%
C Program
19%
Fixed Point Method
18%
Macro Tree Transducers
18%
Constraint System
17%
Information Flow
17%
Automata
17%
Control Flow
17%
Constant Propagation
16%
Strategy Iteration
16%
Degree of Ambiguity
15%
Finite State
15%
Finite Automata
15%
Transition System
15%
Programming Languages
15%
Cryptographic Protocols
15%
Polynomial-time Algorithm
14%
Polynomial Relations
14%
XML
14%
Complete Lattice
14%
Program Size
13%
Monotonic Systems
13%
Reachability
13%
Undecidable
13%
Control Flow Analysis
13%
Weakest Precondition
12%
Static Analysis
12%
Affine Relation
12%
Grammar
12%
Practical Algorithm
11%
Precise Analysis
11%
Computer Science
Polynomial Time
100%
Abstract Interpretation
58%
Interprocedural Analysis
58%
Equation System
55%
Tree Automaton
52%
Invariant
51%
Programming Language
33%
Program Analysis
32%
Program Variable
27%
Subclasses
24%
Static Program Analysis
24%
Automaton
22%
Control-Flow Analysis
21%
Constant Propagation
21%
C Program
21%
Cryptographic Protocol
19%
Model Checking
19%
System Constraint
19%
Local Variable
19%
Efficient Algorithm
17%
Control Flow
17%
Data Structure
16%
Transition System
15%
Weakest Precondition
14%
Syntactics
14%
Type Inference
13%
Assignment Statement
12%
Parallel Programming
12%
Software Systems
11%
Type Checking
11%
Global Variable
11%
Finite Automata
11%
Parallel Program
11%
Satisfiability Problem
10%
Concurrency
10%
Interpreter
9%
Reachability Analysis
9%
context-free language
9%
Functional Program
9%
Procedure Call
9%
Context-Sensitive Analysis
9%
Pattern Matching
9%
Web Service
9%
Decision Procedure
9%
Correctness Proofs
9%
Shared Memory
9%
Target Language
8%
multi agent
8%
Fixed Points
7%
Assembly Code
7%
