|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
|
15
|
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
– Geoffrey Burn, Daniel Le M'etayer
- 1992
|
|
21
|
Thunks and the λ-calculus
– John Hatcliff, Olivier Danvy
- 1997
|
|
2
|
Analyse Statique De Programmes : Fondements Et Applications
– Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen
- 1999
|
|
205
|
Abstract interpretation frameworks
– Patrick Cousot, Radhia Cousot
- 1992
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
24
|
Abstract Interpretation of Functional Languages: From Theory to Practice
– Sebastian Hunt
- 1991
|
|
12
|
Strictness and Totality Analysis
– Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
- 1994
|
|
|
Décrire Et Comparer Les Implantations De Langages Fonctionnels
– Rémi Douence, Pascal Fradet
- 1996
|
|
7
|
A Systematic Study of Functional Language Implementations
– Rémi Douence, Pascal Fradet
- 1998
|
|
10
|
A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction
– Rémi Douence , Pascal Fradet
- 1996
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
29
|
Modeling Web Interactions
– Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
- 2003
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
170
|
Verification by abstract interpretation
– Patrick Cousot
- 2003
|
|
22
|
Abstract interpretation based formal methods and future challenges, invited paper
– Patrick Cousot
- 2001
|
|
|
ACM Workshop on Strategic Directions in Computing Research
– Mit Laboratory, Patrick Cousot
|
|
3
|
Program Analysis Position Statement: The Abstract Interpretation Perspective
– P. Cousot
- 1996
|
|
6
|
On the Safety of Nöcker’s Strictness Analysis
– Manfred Schmidt-Schauß, Marko Schütz, David Sabel
|
