Loop Invariants on Demand
Lecture notes in computer science2005pp. 119–134
Citations Over TimeTop 10% of 2005 papers
Related Papers
- → Practical partial evaluation for high-performance dynamic language runtimes(2017)28 cited
- → Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs(2004)28 cited
- → Abstract interpretation based static analysis parameterized by semantics(1997)12 cited
- → Some user-defined control functions for more readable APL programs(1975)2 cited
- → Trends in applying abstract interpretation(1992)1 cited