Proving the Correctness of Compiler Optimisations Based on Strictness Analysis (1993)

Cached

Download Links

by Geoffrey Burn , Daniel Le Métayer
Venue:in Proceedings 5th int. Symp. on Programming Language Implementation and Logic Programming, LNCS 714
Citations:4 - 2 self

Documents Related by Co-Citation

9 Fast abstract interpretation using sequential algorithms – A Ferguson, J Hughes - 1993
3 Abstract reduction: a theory via abstract interpretation, in R. Sleep et al (eds), Term graph rewriting: theory and practice – M van Eekelen, E Goubault, C Hankin, E N ��ker - 1992
5 From Operational Semantics to Abstract – J Hannan, D Miller - 1992
10 Approximate fixed points in abstract interpretation – C Hankin, S Hunt - 1992
5 A Syntactic Approach to Fixed Point Computation on Finite Domains – Tyng-Ruey Chuang, Benjamin Goldberg - 1992
9 Strictness analysis on non-flat domains – Philip Wadler - 1987
12 Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine – Sigbjørn Finne, Spineless G-machine, Geoffrey Burn - 1993
26 CPS Transformation after Strictness Analysis – Olivier Danvy, John Hatcliff, Cv Ffi S - 1993
14 Reasoning about simple and exhaustive demand in higher-- order lazy languages – A Leung, P Mishra - 1991
16 Strictness logic and polymorphic invariance – P. N. Benton - 1992
7 Strictness properties of lazy algebraic datatypes – P N Benton - 1993
12 Fixed points and frontiers: a new perspective – Sebastian Hunt, Chris Hankin - 1991
26 Investigating a proof-theoretic meta-language for functional programs – J J Hannan - 1990
32 Abstract interpretation in logical form – T Jensen - 1992
44 Strictness Analysis in Logical Form – Thomas P. Jensen - 1991
26 Deriving algorithms from type inference systems: Application to strictness analysis – Chris Hankin, Daniel Le Métayer - 1994
29 Evaluation transformers - a model for the parallel evaluation of functional languages – G Burn - 1987
96 Type inference with simple subtypes – J C Mitchell - 1991
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987