Path semantics
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 476-489
- https://doi.org/10.1007/3-540-19020-1_26
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Variations on strictness analysisPublished by Association for Computing Machinery (ACM) ,1986
- Higher-order strictness analysis in untyped lambda calculusPublished by Association for Computing Machinery (ACM) ,1986
- Strictness analysis — a practical approachPublished by Springer Nature ,1985
- The aggregate update problem in functional programming systemsPublished by Association for Computing Machinery (ACM) ,1985
- The global storage needs of a subcomputationPublished by Association for Computing Machinery (ACM) ,1984
- Complexity of flow analysis, inductive assertion synthesis and a language due to DijkstraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980