Computer Science
Abstract Interpretation
100%
Static Program Analysis
23%
Program Analysis
18%
Soundness
15%
Denotational Semantics
9%
Program Verification
7%
Correctness Proofs
6%
Inductive Definition
6%
Refactoring
6%
Execution Trace
6%
Linear Constraint
6%
Logic Programming
6%
Weak Consistency Model
6%
Linear Relation
6%
Semantic Grammar
6%
model checker
6%
Scalar Variable
6%
Content Analysis
6%
Embedded Control
6%
Floating Point
6%
Critical Software
6%
Watermarking
6%
Transition System
6%
Operational Semantics
6%
Nested Loop
5%
Total Correctness
5%
Relational Semantics
5%
Programming Language
5%
Formal Semantics
5%
Data Type
5%
Point Computation
5%
Embedded Software
5%
Keyphrases
Abstract Interpretation
47%
Program Analysis
12%
Fixpoint
9%
Static Analysis
8%
Invariant Assertions
8%
Systematic Design
8%
Proof Techniques
8%
Denotational Semantics
7%
Hoare Logic
7%
Abstract Domains
6%
Extracting Method
6%
Refactoring
6%
Weak Consistency Models
6%
Ogre
6%
Generalized Type
6%
Constructive Design
6%
Extended Abstracts
6%
Scalar Variables
6%
Fully Scalable
6%
Scalable Array
6%
Software Watermarking
6%
Total Correctness
5%
Inductive Definitions
5%
Programming Languages
5%
Variant Function
5%
Transition System
5%
Induction Principle
5%
Operational Semantics
5%
Automated Verification
5%
Static Analyzer
5%
