Abstract

machines and implementations : : : : : : : : : : : : : : : : : : : 7 1.4 Optimized implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 1.5 Plan of the report : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2 Semantics-Based Program Analysis 12 2.1 Semantics and program analysis : : : : : : : : : : : : : : : : : : : : : : : : 12 2.2 Abstract interpretation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12 2.3 Semantic analysis information : : : : : : : : : : : : : : : : : : : : : : : : : 13 2.4 Instrumented semantics : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 14 2.5 Correctness of analyses : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 3 A Lazy Example Language 19 3.1 The lazy language L : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 19 3.2 The call by name Krivine machine : : : : : : : : : : : : : : : : : : : : : : : 21 3.3 Adding data structures : : : : : : : : : : : : : : : : : : : : : : : ...

Citations

433	Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Stoy - 1977
180	Control flow analysis in Scheme - Shivers - 1988
178	A new implementation technique for applicative languages - Turner - 1979
53	The semantics of Scheme control-flow analysis - Shivers - 1991
52	Strictness analysis on non-flat domains (by abstract interpretation over finite domains - Wadler - 1987
32	The semantic elegance of applicative languages - Turner - 1981
31	Data-flow analysis and type recovery in Scheme - Shivers - 1990
19	Non-strict Languages | Programming and Implementation - Wray, Fairbairn - 1989
1	Semantics-Based Analysis and Transformation of Logic Programs - Notices - 1972
1	Parameter splitting in a higher order functional language - Steensgaard, Marquard - 1990
1	Typed representation of objects by functions - Steensgaard-Madsen - 1989