|
4
|
Lazy Type Inference for the Strictness Analysis of Lists
– Chris Hankin, Daniel Le Métayer
- 1994
|
|
25
|
Deriving algorithms from type inference systems: Application to strictness analysis
– Chris Hankin, Daniel Le Métayer
- 1994
|
|
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
|
|
12
|
Strictness and Totality Analysis
– Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson
- 1994
|
|
4
|
Proving the Correctness of Compiler Optimisations Based on Strictness Analysis
– Geoffrey Burn, Daniel Le Métayer
- 1993
|
|
15
|
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis
– Geoffrey Burn, Daniel Le M'etayer
- 1992
|
|
7
|
A Logical Framework for Program Analysis
– Geoffrey Burn
- 1992
|
|
1
|
Type Theory and Projections for Static Analysis
– Clement A. Baker-Finch
- 1995
|
|
31
|
Type and effect systems
– Flemming Nielson, Hanne Riis Nielson
- 1999
|
|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
|
24
|
Abstract Interpretation of Functional Languages: From Theory to Practice
– Sebastian Hunt
- 1991
|
|
81
|
A Per Model of Secure Information Flow in Sequential Programs
– Andrei Sabelfeld , David Sands
- 1998
|
|
42
|
Strictness Analysis in Logical Form
– Thomas P. Jensen
- 1991
|
|
9
|
Flow Logics for Constraint Based Analysis
– Hanne Riis Nielson, Flemming Nielson
- 1998
|
|
2
|
The TkInter homepage. http://www.python.org/topics/tkinter
– Ferruccio Damiani, Paola Giannini
- 2001
|
|
7
|
Strictness and Totality Analysis with Conjunction
– Kirsten Lackner Solberg
- 1995
|
|
7
|
A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms
– Émilie Sayag,, Michel Mauny
- 1996
|
|
7
|
Polymorphic Strictness Analysis Using Frontiers
– Julian Seward
- 1992
|
|
2
|
Refining Refinement Types
– Ewen Denney
- 1997
|
