Program Analysis and Verification Techniques (Q167620)
From geokb
This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract
- Static Analysis
- Formal Verification
- Type Inference
- Memory Management
- Concurrency
- Garbage Collection
- Separation Logic
- Model Checking
- Abstract Interpretation
- Programming Language Semantics
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Analysis and Verification Techniques |
This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract |
|
