Flow Logic and Operational Semantics
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 10, 150-169
- https://doi.org/10.1016/s1571-0661(05)80695-4
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Flow logics for constraint based analysisPublished by Springer Nature ,1998
- Systematic realisation of control flow analyses for CMLPublished by Association for Computing Machinery (ACM) ,1997
- Infinitary control flow analysisPublished by Association for Computing Machinery (ACM) ,1997
- What not to do when writing an interpreter for specialisationPublished by Springer Nature ,1996
- Set-based analysis of ML programsACM SIGPLAN Lisp Pointers, 1994
- The semantics of Scheme control-flow analysisACM SIGPLAN Notices, 1991
- Control flow analysis in schemeACM SIGPLAN Notices, 1988
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955