Skip to main content
BYU Static Analysis / PL Lab
Docs
Blog
GitHub
Tags
A
abstract interpretation
2
abstract interpreters
3
abstract machine
1
api coalescing
2
C
completeness
1
context sensitivity
1
control flow analysis
2
D
database
1
databases
1
Demand CFA
1
E
effect handlers
1
F
flow analysis
2
G
galois connections
1
M
monad transformers
1
O
optimization
2
P
paper
6
program transformation
1
R
reduction semantics
2
S
soundness
1
static analysis
4