| 2008 |
|---|
| 13 | EE | Jennifer Gillenwater,
Gregory Malecha,
Cherif Salama,
Angela Yun Zhu,
Walid Taha,
Jim Grundy,
John O'Leary:
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
PEPM 2008: 41-50 |
| 2007 |
|---|
| 12 | EE | Sava Krstic,
Amit Goel,
Jim Grundy,
Cesare Tinelli:
Combined Satisfiability Modulo Parametric Theories.
TACAS 2007: 602-617 |
| 2006 |
|---|
| 11 | EE | Jim Grundy,
Thomas F. Melham,
Sava Krstic,
Sean McLaughlin:
Tool Building Requirements for an API to First-Order Solvers.
Electr. Notes Theor. Comput. Sci. 144(2): 15-26 (2006) |
| 10 | EE | Jim Grundy,
Thomas F. Melham,
John W. O'Leary:
A reflective functional language for hardware design and theorem proving.
J. Funct. Program. 16(2): 157-196 (2006) |
| 2000 |
|---|
| 9 | | Jim Grundy:
Verified Optimizations for the Intel IA-64 Architecture.
TPHOLs 2000: 215-232 |
| 1998 |
|---|
| 8 | | Jim Grundy,
Malcolm C. Newey:
Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Springer 1998 |
| 1997 |
|---|
| 7 | | Jim Grundy,
Thomas Långbacka:
Recording HOL Proofs in a Structured Browsable Format.
AMAST 1997: 567-571 |
| 6 | | Ralph-Johan Back,
Jim Grundy,
Joakim von Wright:
Structured Calculational Proof.
Formal Asp. Comput. 9(5-6): 469-483 (1997) |
| 1996 |
|---|
| 5 | | Joakim von Wright,
Jim Grundy,
John Harrison:
Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
Springer 1996 |
| 4 | | Jim Grundy:
Transformational Hierarchical Reasoning.
Comput. J. 39(4): 291-302 (1996) |
| 1993 |
|---|
| 3 | | Jim Grundy:
A Three-Valued Logic for Refinement.
Formal Methods in Programming and Their Applications 1993: 26-42 |
| 2 | | Jim Grundy:
Predicative Programming - A Survey.
Formal Methods in Programming and Their Applications 1993: 8-25 |
| 1991 |
|---|
| 1 | | Jim Grundy:
Window Inference in the HOL System.
TPHOLs 1991: 177-189 |
