1
0
0
(1 - 24 von 26
)
beluga - Exemplare: Certified programs and proofs
beluga.sub.uni-hamburg.de
... proofs third international conference, CPP 2013, Melbourne, VIC, Australia, December , ; proceedings ; Georges Gonthier; Michael Norrish (eds.).
Automated Reasoning: 4th International Joint Conference, IJCAR 2008,...
books.google.de
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in...
Certified Programs and Proofs: First International Conference, CPP...
books.google.de
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in...
Computer Science Logic: 24th International Workshop, CSL 2010, 19th...
books.google.de
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in...
The MLton March Archive by Author
www.mlton.org
... [MLton] Implementing HOL in MLton - ideas wanted Michael Norrish ... ML implementation, and pushing MLton to emulate it Michael Norrish ...
FST TCS 2001: Foundations of Software Technology and Theoretical...
books.google.de
... Ilan Newman Peter Niebert Michael Norrish Luke Ong Itsik Pe'er Laure Petrucci Anna Philippou Elon Portugaly Alexander Rabinovich Balaji Raghavachari R.
C Formalised in HOL. - Michael Norrish - Google Books
books.google.de
Abstract: "We present a formal semantics of the C programming language, covering both the type system and the dynamic behaviour of programs. The semantics ...
Interactive Theorem Proving: First International Conference, ITP
books.google.de
This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July...
Interactive Theorem Proving: Second International Conference, ITP...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The...
Programming Languages and Systems: 11th European Symposium on...
books.google.de
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures Keith Wansbrough, Michael Norrish, Peter Sewell, and Andrei Serjantov Computer ...
A Machine-Checked, Type-Safe Model of Java Concurrency : ...
books.google.com.tr
Michael Norrish. C formalised in HOL. PhD thesis, University of Cambridge, Michael Norrish. Deterministic expressions in C. In S. Swierstra, editor, ...
Automated Reasoning: 4th International Joint Conference, ...
books.google.com.tr
Jinbo Huang, Michael Norrish, Andrew Slater, Toby Walsh Table of. Program Chairs Alessandro Armando Peter Baumgartner Gilles Dowek Program Committee ...
Certified Programs and Proofs: Third International Conference, CPP...
books.google.com.tr
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS held...
Theorem Proving in Higher Order Logics: 18th International ...
books.google.com.tr
Michael Norrish. Formalising C in HOL. PhD thesis, Computer Laboratory, University of Cambridge, Michael Norrish. Mechanising Hankin and Barendregt ...
Computer Aided Verification: 23rd International Conference, CAV
books.google.de
... Mcmillan Madan Musuvathi Michael Norrish Madhusudan Parthasarathy Shaz Qadeer John Regehr Andrey Rybalchenko Sriram Sankaranarayanan Roberto ...
Interactive Theorem Proving: 4th International Conference, ITP 2013,...
books.google.de
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July...
Programming Languages and Systems: 22nd European Symposium on...
books.google.de
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on...
Automated Deduction - CADE-21: 21st International Conference on...
books.google.de
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the...
A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...
books.google.de
Michael Norrish. C formalised in HOL. PhD thesis, University of Cambridge, Michael Norrish. Deterministic expressions in C. In S. Swierstra, editor, Programming Languages and Systems (ESOP 1999), volume of Lecture Notes in Computer Science, pages 147–161. Springer, Michael Norrish. A formal ...
Intelligent Agents and Multi-Agent Systems: 6th Pacific Rim...
books.google.de
... Higher-OrderLogic, volume of Lecture Notes in Computer Science. Springer, Michael Norrish. HOL 4. http://hol.sourceforge.net/, SourceForge. net.
Logic for Programming, Artificial Intelligence, and Reasoning: 11th...
books.google.de
... Meister George Metcalfe Aart Middeldorp Ralf Moller Robert Nieuwenhuis Michael Norrish Albert Oliveras Maurice Pagnucco Norbert Preining Horst Reichel ...
Theorem Proving in Higher Order Logics: 17th International Conference...
books.google.de
Recursive Function Definition for Types with Binders Michael Norrish Canberra Research Laboratory, National ICT Australia Research School of Information ...
Verwandte Suchanfragen zu Michael Norrish
Christian Urban Chantal Keller Gerwin Klein | Dale Miller Peter Baumgartner |
Personen Vorname "Michael" (149265) Name "Norrish" (4) |
sortiert nach Relevanz / Datum