Concepedia

Jim Grundy

JG

9

Publications

253

Citations

9

H-Index

1996

Active since

Affiliations

Intel (United States)(Current)

University of Oxford

Jim Grundy is an author at Intel (United States) specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisAutomated ReasoningHardware SecuritySoftware AnalysisComputer Engineering

Publications per year

1996–2013

9

Publications

9

A reflective functional language for hardware design and theorem proving

Jim Grundy, Tom Melham, John O’Leary · Journal of Functional Programming · 2005 · 57 citations · Full text

Reflect Language, Engineering, Hardware Verification Language +25

The Refinement Calculator: Proof Support for Program Refinement

Michael Butler, Jim Grundy, Thomas Långbacka et al. · ePrints Soton (University of Southampton) · 1997 · 40 citations

Refinement Technique, Engineering, Program Analysis +10

Formal co-validation of low-level hardware/software interfaces

Alex Horn, Michael Tautschnig, Celina G. Val et al. · 2013 · 36 citations

Formal Co-validation, Engineering, Hardware Verification Language +27

Structured calculational proof

R. J. R. Back, Jim Grundy, Joakim Wright · Formal Aspects of Computing · 1997 · 31 citations · Full text

Window Inference In The HOL System

Jim Grundy · 2005 · 27 citations

Engineering, Model-based Reasoning, Computational Model Theory +19

Rows per page

1–5 of 9