Concepedia

Geoffrey Burn

GB

5

Publications

288

Citations

5

H-Index

1986

Active since

Affiliations

Imperial College London(Current)

University College London

Geoffrey Burn is an author at Imperial College London specializing in engineering, parallel computing, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ComputingParallel ProgrammingLanguageRoboticsSemanticsLinguisticsData Science

Publications per year

1986–1993

5

Publications

5

Strictness analysis for higher-order functions

Geoffrey Burn, Chris Hankin, Samson Abramsky · Science of Computer Programming · 1986 · 170 citations

Engineering, Generalized Function, Formal Methods +4

The spineless G-machine

Geoffrey Burn, Simon Jones, J.D. Robson · 1988 · 65 citations · Full text

Engineering, Graph Reduction, Motor Control +21

A relationship between abstract interpretation and projection analysis

Geoffrey Burn · 1990 · 22 citations

Engineering, Software Engineering, Semantics +20

A safe approach to parallel combinator reduction

Chris Hankin, Geoffrey Burn, Simon Peyton Jones · Theoretical Computer Science · 1988 · 21 citations

Mathematical Programming, Engineering, Parallel Complexity Theory +10

Assessing the evaluation transformer model of reduction on the spineless G-machine

Sigbjørn Finne, Geoffrey Burn · 1993 · 10 citations · Full text

Rows per page

1–5 of 5