Flow logics and operational semantics (1998) [9 citations — 5 self]
Download:
|
|
by Flemming Nielson, Hanne Riis Nielson
Electronic Notes of Theoretical Computer Science
http://www.daimi.au.dk/~fn/Papers/NiNi98hoots.ps
Add To MetaCart
Abstract:
Flow logic is a "fast prototyping " approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the flow logic as well as in the operational semantics may inhibit proving the analysis correct. Our main conclusion is that environment based semantics is more flexible than either substitution based semantics or semantics making use of structural congruences (like alpha-renaming). 1
Citations
| 2783 | Communication and Concurrency – Milner - 1989 |
| 1070 | A structural approach to operational semantics – Plotkin - 1981 |
| 251 | The Lambda Calculus: Its Syntax and Semantics. Volume 103 – Barendregt - 1984 |
| 117 | Set-based analysis of ML programs – Heintze - 1994 |
| 84 | Inductive definitions, semantics and abstract interpretation – Cousot, Cousot - 1992 |
| 58 | Closure analysis in constraint form – Palsberg - 1995 |
| 54 | Infinitary control flow analysis: a collecting semantics for closure analysis – Nielson, Nielson |
| 51 | The semantics of scheme control-flow analysis – Shivers - 1991 |
| 38 | The semantics of Future and its use in program optimizations – Flanagan, Felleisen - 1995 |
| 28 | What not to do when writing an interpreter for specialisation – Jones - 1996 |
| 17 | Systematic realisation of control flowanalysis for CML – Gasser, Nielson, et al. - 1997 |
| 9 | Flow Logics for Constraint Based Analysis – Nielson, Nielson - 1998 |
| 7 | Principles of Program Analysis: Flows and Effects – Nielson, Nielson, et al. - 1999 |
