Concepedia

Grant Malcolm

GM

14

Publications

759

Citations

13

H-Index

1989

Active since

Affiliations

University of Liverpool(Current)

University of Groningen

University of California San Diego

Grant Malcolm is an author at University of Liverpool specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware DesignSystem SoftwareSystems BiologyMalware Analysis

Publications per year

1989–2009

14

Publications

14

A hidden agenda

Joseph A. Goguen, Grant Malcolm · Theoretical Computer Science · 2000 · 230 citations

Hidden Agenda, Public Policy, Political Agenda +7

Data structures and program transformation

Grant Malcolm · Science of Computer Programming · 1990 · 171 citations

Engineering, Data Type, Program Analysis +9

Algebraic Data Types and Program Transformation

Grant Malcolm · Data Archiving and Networked Services (DANS) · 1990 · 86 citations · Full text

Engineering, Data Type, Program Analysis +7

Do-it-yourself type theory

Roland Backhouse, Paul Chisholm, Grant Malcolm et al. · Formal Aspects of Computing · 1989 · 53 citations

Hidden coinduction: behavioural correctness proofs for objects

Joseph A. Goguen, Grant Malcolm · Mathematical Structures in Computer Science · 1999 · 34 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–5 of 14