Jim Grundy
Title
Cited by
Cited by
Year
A reflective functional language for hardware design and theorem proving
J Grundy, T Melham, J O'leary
Journal of Functional Programming 16 (2), 157-196, 2005
852005
The refinement calculator: Proof support for program refinement
MJ Butler, J Grundy, T Långbacka, R Ruksenas, J von Wright
Formal Methods Pacific, 40-61, 1997
831997
Structured calculational proof
R Back, J Grundy, J von Wright
Formal Aspects of Computing 9 (5), 469-483, 1997
651997
Structured calculational proof
R Back, J Grundy, J Von Wright
Tech. Rpt 65, 1996
651996
A window inference tool for refinement
J Grundy
Refinement Workshop, 230-254, 1992
651992
Ground interpolation for the theory of equality
A Fuchs, A Goel, J Grundy, S Krstić, C Tinelli
Tools and Algorithms for the Construction and Analysis of Systems, 413-427, 2009
492009
Window inference in the HOL system
J Grundy
HOL Theorem Proving System and Its Applications, 177-189, 1991
471991
Transformational hierarchical reasoning
J Grundy
Computer Journal 39 (4), 291-302, 1996
381996
Formal co-validation of low-level hardware/software interfaces
A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening
Formal Methods in Computer-Aided Design (FMCAD), 2013, 121-128, 2013
362013
Combined satisfiability modulo parametric theories
S Krstić, A Goel, J Grundy, C Tinelli
Tools and Algorithms for the Construction and Analysis of Systems, 602-617, 2007
322007
A method of program refinement
J Grundy
University of Cambridge, 1993
301993
Methods and systems for an interactive theorem-proving tool with reflective capabilities
JD Grundy, MD Aagaard
US Patent 7,181,729, 2007
232007
Synthesizable high level hardware descriptions
J Gillenwater, G Malecha, C Salama, AY Zhu, W Taha, J Grundy, ...
New Generation Computing 28 (4), 339-369, 2010
20*2010
A browsable format for proof presentation
J Grundy
Mathesis Universalis 1 (2), 1996
201996
Synthesizable High Level Hardware Descriptions: Using statically typed two-level languages to guarantee verilog synthesizability
W Taha, J Gillenwater, G Malecha, C Salama, A Yun Zhu, J Grundy, ...
PEPM'08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation …, 2008
16*2008
Predicative programming—A survey
J Grundy
Formal Methods in Programming and Their Applications, 8-25, 1993
141993
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs' 96, Volume 1125 of Lecture Notes in Computer Science, Turku, Finland
J von Wright, J Grundy, J Harrison
Springer-Verlag, 1996
13*1996
Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions
C Salama, G Malecha, W Taha, J Grundy, J O’Leary
Higher Order and Symbolic Computation 24 (1-2), 81-114, 2011
102011
Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions
C Salama, G Malecha, W Taha, J Grundy, J O'Leary
Partial evaluation and program manipulation, 121-130, 2009
10*2009
Tool building requirements for an API to first-order solvers
J Grundy, T Melham, S Krstić, S McLaughlin
Electronic Notes in Theoretical Computer Science 144 (2), 15-26, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20