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