Searching for authors named "Michael Norrish" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Recursive function definition for types with binders
- …Recursive Function Definition for Types with Binders Michael Norrish Canberra Research Laboratory…
- Cited by 8 (0 self) – Add To MetaCart
-
An abstract dynamic semantics for C
- …An abstract dynamic semantics for C Michael Norrish Computer Laboratory, University of Cambridge 6…
- Cited by 14 (1 self) – Add To MetaCart
-
Derivation of verification rules for C from operational definitions
- …Derivation of verification rules for C from operational definitions Michael Norrish Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Complete integer decision procedures as derived rules in HOL
- …Complete Integer Decision Procedures as Derived Rules in HOL Michael Norrish ⋆ National ICT…
- Cited by 4 (0 self) – Add To MetaCart
-
Deterministic expressions in C
- …Deterministic Expressions in C Michael Norrish Computer Laboratory University of Cambridge ⋆⋆ mn…
- Cited by 8 (4 self) – Add To MetaCart
-
C formalised in HOL
- …Technical Report Number 453 C formalised in HOL Michael Norrish December 1998 UCAM-CL-TR-453 ISSN…
- Cited by 36 (7 self) – Add To MetaCart
-
The K combinator as a semantically transparent tagging mechanism
- …The K combinator as a semantically transparent tagging mechanism Konrad Slind and Michael Norrish…
- Add To MetaCart
-
A thread of HOL development
- … A Thread of HOL Development Michael Norrish and Konrad Slind University of Cambridge Computer…
- Cited by 6 (6 self) – Add To MetaCart
-
A Tool for Implementing Action Graphs
- …A tool for implementing action graphs Philippa Gardner 1 Michael Norrish 2 Andrei Serjantov…
- Add To MetaCart
-
Barendregt’s variable convention in rule inductions
- …, and Michael Norrish2 1 TU Munich, Germany 2 NICTA, Australia Abstract. Inductive definitions and rule…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
