Searching for authors named "Matthew Fairbairn" – sorted by Relevance.
-
Rigorous Specification and Conformance Testing Techniques For Network . . .
- , UDP, and Sockets Abstract Steve Bishop ∗ Matthew Fairbairn ∗ Michael Norrish † Peter Sewell ∗ Michael
- Cited by 14 (8 self) – Add To MetaCart
-
Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing for TCP Implementations
- Implementations Steve Bishop ∗ Matthew Fairbairn ∗ Michael Norrish † Peter Sewell ∗ Michael Smith ∗ Keith
- Cited by 10 (5 self) – Add To MetaCart
-
Mechanized metatheory for the masses: The POPLmark Challenge
- , Matthew Fairbairn2, J. Nathan Foster1,Benjamin C. Pierce 1, Peter Sewell2, Dimitrios Vytiniotis1
- Cited by 71 (11 self) – Add To MetaCart
-
The Design of Distributed Programming Languages
- Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, James Leifer, Iulian Naemtiu
- Add To MetaCart

