Travelled to:1 × Denmark
1 × Estonia
1 × France
1 × Germany
3 × USA
Collaborated with:∅ S.L.P.Jones S.Finne D.L.Métayer J.D.Robson C.Hankin
Talks about:evalu (5) transform (3) analysi (3) reduct (3) model (3) spineless (2) parallel (2) project (2) correct (2) machin (2)
Person: Geoffrey L. Burn
DBLP: Burn:Geoffrey_L=
Contributed to:
1993
1993
1990
199019881987
1986
1991Wrote 8 papers:
- FPCA-1993-FinneB #evaluation #reduction
- Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine (SF, GLB), pp. 331–340.
- PLILP-1993-BurnM #analysis #compilation #correctness #optimisation #proving #strict
- Proving the Correctness of Compiler Optimizations Based on Strictness Analysis (GLB, DLM), pp. 346–364.
- LFP-1990-Burn #analysis #using
- Using Projection Analysis of Evaluation-Order and Its Application (GLB), pp. 227–240.
- POPL-1990-Burn #abstract interpretation #analysis
- A Relationship Between Abstract Interpretation and Projection Analysis (GLB), pp. 151–156.
- LFP-1988-BurnJR
- The Spineless G-Machine (GLB, SLPJ, JDR), pp. 244–258.
- FPCA-1987-Burn #evaluation #functional #parallel
- Evaluation transformers — a model for the parallel evaluation of functional languages (GLB), pp. 446–470.
- ESOP-1986-HankinBJ #approach #combinator #parallel #reduction
- A Safe Approach to Parallel Combinator Reduction (CH, GLB, SLPJ), pp. 99–110.
- CCPSD-1991-Burn #correctness #evaluation #reduction
- The Evaluation Transformer Model of Reduction and Its Correctness (GLB), pp. 458–482.