BibSonomy :: author  ::

bookmarks

publications

(19)

• A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.
  Tom Ridge and Michael Norrish and Peter Sewell FM 294-309 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• A formal treatment of the barendregt variable convention in rule inductions.
  Christian Urban and Michael Norrish MERLIN 25-32 (2005)
  to dblp by dblp on 2008-04-23 00:00:00
  | URL | BibTeX  
• Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets.
  Michael Norrish and Peter Sewell and Keith Wansbrough ACM SIGOPS European Workshop 49-53 (2002)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• Barendregt's Variable Convention in Rule Inductions.
  Christian Urban and Stefan Berghofer and Michael Norrish CADE 35-50 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Proof Pearl: De Bruijn Terms Really Do Work.
  Michael Norrish and René Vestergaard TPHOLs 207-222 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Mechanising lambda-calculus using a classical first order theory of terms with permutations.
  Michael Norrish Higher-Order and Symbolic Computation 19 169-195 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX  
• Types, bytes, and separation logic.
  Harvey Tuch and Gerwin Klein and Michael Norrish POPL 97-108 (2007)
  to dblp by dblp on 2007-01-22 00:00:00
  | URL | BibTeX  
• Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.
  Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough SIGCOMM 265-276 (2005)
  to dblp by dblp on 2006-06-02 00:00:00
  | URL | BibTeX  
• Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.
  Steve Bishop and Matthew Fairbairn and Michael Norrish and Peter Sewell and Michael Smith and Keith Wansbrough POPL 55-66 (2006)
  to dblp by dblp on 2006-02-21 00:00:00
  | URL | BibTeX  
• Mechanising Hankin and Barendregt using the Gordon-Melham axioms.
  Michael Norrish MERLIN (2003)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX