Geoffrey Burn - Concepedia

Author

Geoffrey Burn

Also Known As

Burn, Geoffrey Livingston, G L Burn, G. Burn, G. L. BURN, G. L. Burn, GEOFFREY L. BURN, Geoffrey Burn, Geoffrey L. Burn

Publications

531

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	278
2	Computer Science	3	3	108
3	Language Studies	1	1	22
4	Computer Engineering	1	1	65
5	Data Science	1	1	65

Geoffrey Burn

Publications

288

Citations

H-Index

Page 1

	Year	Citations
Strictness analysis for higher-order functions Geoffrey Burn, Chris Hankin, Samson Abramsky Science of Computer Programming EngineeringGeneralized FunctionFormal MethodsFunction TheoryFunctional Analysis	1986	170
The spineless G-machine Geoffrey Burn, Simon Jones, J.D. Robson EngineeringGraph ReductionMotor ControlWearable ComputerFunctional Language Implementations	1988	65
A relationship between abstract interpretation and projection analysis Geoffrey Burn EngineeringSoftware EngineeringSemanticsSoftware AnalysisFormal Verification	1990	22
A safe approach to parallel combinator reduction Chris Hankin, Geoffrey Burn, Simon Peyton Jones Theoretical Computer Science Mathematical ProgrammingEngineeringParallel Complexity TheoryCombinator ReductionCombinatorial Problem	1988	21
Assessing the evaluation transformer model of reduction on the spineless G-machine Sigbjørn Finne, Geoffrey Burn	1993	10

Page 1