Sebastian Hunt. Abstract Interpretation of Functional Languages: From Theory to Practice. PhD thesis, Imperial College, University of London, 1991. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Time Stamps for Fixed-Point Approximation - Damian (Correct)
Type Theory and Projections for Static Analysis - Baker-Finch (1995) (Correct)
Two Non-Determinism Analyses in Eden - Peņa, Segura (2000) (Correct)
A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1998) (29 citations) (Correct)
Representing Demand by Partial Projections - Launchbury, Baraki (1993) (4 citations) (Correct)
Lazy types and Program Analysis - Hankin, Métayer (1994) (Correct)
A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (2000) (29 citations) (Correct)
Uniform PERs and Comportment Analysis - Mycroft, Solberg (1995) (Correct)
Cps-Translation and the Correctness of Optimising Compilers - Burn, Métayer (1992) (1 citation) (Correct)
Type Theory and Projections for Higher-Order Static Analysis - Baker-Finch (Correct)
Polymorphic Strictness Analysis Using Frontiers - Seward (1992) (5 citations) (Correct)
Properties of Program Analysis Techniques - Burn (1993) (Correct)
Proving the Correctness of Compiler Optimisations Based on .. - Burn, Métayer (1993) (17 citations) (Correct)
A Logical Framework for Program Analysis - Burn (1992) (5 citations) (Correct)
Optimising Compilation - Part II: lazy functional languages - Mycroft, Norman (1992) (Correct)
Using the Run-Time Sizes of Data Structures to Guide.. - Huelsbergen, Larus.. (1994) (7 citations) (Correct)
A Type-based Framework for Program Analysis - Chris Hankin (1994) (9 citations) (Correct)
Uniform PERs and Comportment Analysis - Mycroft, Solberg (1995) (Correct)
Proving the Correctness of Compiler Optimisations Based on .. - Burn, Métayer (1995) (17 citations) (Correct)
Polymorphic Strictness Analysis Using Frontiers - Seward (1992) (5 citations) (Correct)
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC