Abstract interpretation based static analysis parameterized by semantics
Lecture notes in computer science1997pp. 388–394
Citations Over Time
Related Papers
- → A comparative study of two formal semantics of the SIGNAL language(2013)9 cited
- → Operational and denotational semantics of prolog(1987)33 cited
- → Comparative metric semantics for concurrent prolog(1990)17 cited
- An operational semantics of lazy evaluation for analysis(1993)
- Collecting operational abstract interpreters(2020)