UWA Logo
  Faculty Home | School Home | Internal Page | Awesome Animations   
           
Home
About the School
Contact and People
Future Undergraduate Students
Prospective Postgraduates
Current Students
Current Postgraduates
Research
Research Areas Research Areas Research Areas
Research Seminars Research Seminars Research Seminars
20092009 2009 2009
20082008 2008 2008
20072007 2007 2007
20062006 2006 2006
20052005 2005 2005
20042004 2004 2004
20032003 2003 2003
20022002 2002 2002
20012001 2001 2001
20002000 2000 2000
19991999 1999 1999
19981998 1998 1998
School Research Conferences School Research Conferences School Conferences
Tech Reports Tech Reports Tech Reports
Distinguished Visitors Distinguished Visitors Distinguished Visitors
Research Opportunities for Students Research Opportunities for Students Research Opportunities ...
Research Project Suggestions Research Project Suggestions Research Project Sugges...
IT News
Awards
Industry Links and Prizes
School and IT Information
Other
Internal Information

Research Seminar - December 12, 2002

Mechanising Complicated Operational Semantics

Dr Michael Norrish
Computer Laboratory
University of Cambridge 11am Friday 20th December, 2002
Computer Science & Software Engineering
Seminar Room 1.24

Abstract:

I will describe how I have used the HOL theorem-proving system to develop rigorous operational semantics in two different domains. I will talk about my formalisation of C, and also more recent work down with Peter Sewell and Keith Wansbrough on developing formal descriptions of the UDP and TCP protocols, as well as the sockets API through which the programmer controls them.

Top of Page