Mathematics
Heap
100%
Shape Analysis
90%
Abstraction
70%
Logic
59%
Data Structures
59%
Linked Data
54%
Abstract Interpretation
46%
Static Analysis
39%
Thread
34%
Safety
33%
Transformer
33%
Concurrent
32%
Reasoning
30%
Java
26%
Correctness
23%
Invariant
22%
Memory Management
22%
First-order Logic
21%
Semantics
20%
Verify
20%
Predicate
19%
Termination
18%
Reachability
18%
Program Analysis
17%
Time Management
17%
Linearizability
16%
Compiler
15%
Data Flow
14%
Decision Procedures
14%
Object
14%
Quantifiers
13%
Fragment
13%
Specification
13%
Automatic Verification
13%
Prototype
12%
Refinement
12%
Framework
11%
Transitive Closure
10%
Precondition
10%
Numerics
10%
Partial
10%
Language
9%
Instrumentation
9%
Abstract Data Types
9%
Speculative Execution
9%
Counterexample
8%
Express
8%
Updating
8%
Garbage Collection
8%
Runtime Verification
8%
Engineering & Materials Science
Static analysis
93%
Data structures
89%
Semantics
61%
Data storage equipment
58%
Abstract data types
46%
Linked data
45%
Concretes
34%
Data flow analysis
30%
Surface mount technology
27%
Specifications
26%
Computability and decidability
25%
Network protocols
21%
Scalability
18%
Concurrency control
16%
Polynomials
14%
Ethereum
14%
Synchronization
14%
Model checking
14%
Virtual machine
14%
Computer programming languages
13%
Flow control
13%
Decomposition
12%
Acoustic waves
12%
Testing
11%
Experiments
11%
Dynamic analysis
10%
Software defined networking
9%
Set theory
9%
Composite materials
9%
Chemical analysis
8%
Industrial applications
7%
Algebra
7%
Stabilization
7%
Software engineering
6%
Scheduling
6%
Enterprise resource planning
6%
Syntactics
6%
Pipelines
6%
Formal verification
6%
Storage allocation (computer)
5%
Storage management
5%
Reclamation
5%
Fences
5%
Theorem proving
5%
Phase structure
5%
Graph structures
5%
Merging
5%
Costs
5%
Temporal logic
5%
