Generalised flowcharts and games
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 363-374
- https://doi.org/10.1007/bfb0055067
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Game semantics and abstract machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Principles of Program AnalysisPublished by Springer Nature ,1999
- A new approach to control flow analysisPublished by Springer Nature ,1998
- Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active ExpressionsPublished by Springer Nature ,1997
- Infinitary control flow analysisPublished by Association for Computing Machinery (ACM) ,1997
- Demand interprocedural dataflow analysisPublished by Association for Computing Machinery (ACM) ,1995
- A unified treatment of flow analysis in higher-order languagesPublished by Association for Computing Machinery (ACM) ,1995
- Full Abstraction for PCF (extended abstract)Lecture Notes in Computer Science, 1994
- Syntactic control of interferencePublished by Association for Computing Machinery (ACM) ,1978