Searching for authors named "Jim Grundy" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
A Method of Program Refinement
- …A Method of Program Refinement Jim Grundy Fitzwilliam College A dissertation submitted…
- Cited by 9 (0 self) – Add To MetaCart
-
Trustworthy storage and exchange of theorems
- …Trustworthy Storage and Exchange of Theorems Jim Grundy Turku Centre for Computer Science TUCS…
- Cited by 5 (0 self) – Add To MetaCart
-
Verified optimizations for the Intel IA-64 architecture. In: TPHOLs 00: Theorem Proving in Higher-Order Logics
- …Verified Optimizations for the Intel ⋆ IA-64 Architecture ⋆⋆ Jim Grundy The Australian National…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards a Browsable Record of HOL Proofs
- …Towards a Browsable Record of HOL Proofs Jim Grundy Thomas Langbacka Turku Centre for Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
A Reflective Functional Language for Hardware Design and Theorem Proving
- …A Reflective Functional Language for Hardware Design and Theorem Proving JIM GRUNDY 1 TOM MELHAM 2…
- Cited by 12 (3 self) – Add To MetaCart
-
A Browsable Format for Proof Presentation
- …A Browsable Format for Proof Presentation Jim Grundy Turku Centre for Computer Science TUCS…
- Cited by 11 (3 self) – Add To MetaCart
-
Theorem Proving in Higher Order Logics: Emerging Trends - Proceedings
- … International Conference, TPHOLs'98 Canberra, Australia, September--October 1998 Supplementary Proceedings Jim…
- Cited by 4 (0 self) – Add To MetaCart
-
International Refinement Workshop & Formal Methods Pacific '98 - Work-in-progress papers of IRW/FMP'98
- …-in-progress papers of IRW/FMP'98 29 September -- 2 October 1998, Canberra, Australia Jim Grundy, Martin Schwenke…
- Add To MetaCart
-
Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96
- … Logics: TPHOLs'96 Editors: Joakim von Wright Jim Grundy John Harrison Turku Centre for Computer Science…
- Add To MetaCart
-
Structured Calculational Proof
- …Structured Calculational Proof Ralph Back Abo Akademi University Jim Grundy The Australian…
- Cited by 13 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
