!!Javier Esparza - Curriculum vitae \\ __1 Academic Employment__ ...
www.ae-info.org
Defence: * (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis : "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ...
Recent Material on Logical Frameworks
www.cs.cmu.edu
Tobias Nipkow and Leonor Prensa Nieto. Owicki/Ggries in Isabelle/HOL. In J.-P. Finance, editor, Proceedings of the Second International Conference ...
Curriculum vitae - Javier Esparza
www.ae-info.org
11 Jan — (with Tobias Nipkow) Dr. Leonor Prensa-Nieto. PhD Thesis: "Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee ... › User › Esparza_Javier
Leonor Prensa Nieto - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Leonor Prensa Nieto . MathSciNet. Dr. rer. nat. Technische Universität München Dissertation: Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL. Mathematics Subject Classification: 68—Computer science. Advisor 1: Tobias Nipkow
Projects - Isabelle Community Wiki
isabelle.in.tum.de
Tobias Nipkow and Leonor Prensa Nieto have implemented the Owicki/Gries method for the Hoare-style ... For details see the home pages of projects Bali and ...
Theory Hoare_Logic
isabelle.in.tum.de
(* Title: HOL/Hoare/Hoare_Logic.thy Author: Leonor Prensa Nieto & Tobias Nipkow Copyright TUM Sugared semantic embedding of Hoare logic.
A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...
books.google.de
[84] [85] [87] [88] Gerwin Klein, Tobias Nipkow, David von Oheimb, Leonor Prensa Nieto, Norbert Schirmer, and Martin Strecker. Java source and bytecode ...
Foundations of Software Technology and Theoretical Computer ...books.google.de › books
books.google.de
I also thank Manfred Broy, Tobias Nipkow, Leonor Prensa Nieto, Bernhard Reus, Francis Tang, Markus Wenzel and several anonymous referees for their ...
Concrete Semantics: With Isabelle/HOL - Tobias Nipkow, Gerwin Klein -...
books.google.de
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive...
Java Source and Bytecode Formalizations in Isabelle: µJava
citeseerx.ist.psu.edu
by G Klein · · Cited by 2 — by Gerwin Klein , Tobias Nipkow , David von Oheimb , Leonor Prensa Nieto , Norbert Schirmer , Martin Strecker. Summary · Citations · Active Bibliography ... › viewdoc › summary
LNCS Owicki/Gries in Isabelle/HOL
link.springer.com
by T Nipkow · · Cited by 50 — Tobias Nipkow and Leonor Prensa Nieto. Technische Universität München. Institut für Informatik, München, Germany http://www.in.tum.de/~{nipkow ... › content › pdf
Tobias Nipkow
ipfs.io
... Alexander Krauss, Olaf Müller, Dieter Nazareth, Steven Obua, Christian Prehofer, Leonor Prensa-Nieto, Franz Regensburger, Norbert Schirmer, Konrad Slind, ...
All web results to the name "Leonor Prensa"
Conferences in DBLP - SCEAS
sceas.csd.auth.gr
FASE, 1999, pp: [Conf]; Tobias Nipkow, Leonor Prensa Nieto Owicki/Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] FASE, 1999, pp: [Conf] › php › conferences
Preface - Documentation
proofgeneral.github.io
... John Longley, Erik Martin-Dorel, Assia Mahboubi, Adam Megacz, Stefan Monnier, Tobias Nipkow, Clement Pit–Claudel, Leonor Prensa Nieto, David von Oheimb, ... › doc › master › userman
Java Source and Bytecode Formalizations in Isabelle: µJavaciteseerx.ist.psu.edu › viewdoc › summary
citeseerx.ist.psu.edu
by Gerwin Klein , Tobias Nipkow , David von Oheimb , Leonor Prensa Nieto , Norbert Schirmer , Cornelia Pusch , Martin Strecker ...
Next: Univiversity of Birmingham Up: Progress Report Previous ...www.cse.chalmers.se › group › logic › TypesWG › report99.web › munich
www.cse.chalmers.se
Tobias Nipkow and Leonor Prensa Nieto. Owicki/Gries in Isabelle/HOL. In: Fundamental Approaches to Software Engineering (FASE'99), J.-P. Finance ed, ...
HoareAbort.thy - CSE
www.cse.unsw.edu.au
Title: HOL/Hoare/HoareAbort.thy ID: $Id: HoareAbort.thy,v :10:28 wenzelm Exp $ Author: Leonor Prensa Nieto & Tobias Nipkow Copyright ...
Hoare.thy
cl-informatik.uibk.ac.at
Title: HOL/Hoare/Hoare.thy ID: $Id: Hoare.thy,v :13:07 haftmann Exp $ Author: Leonor Prensa Nieto & Tobias Nipkow Copyright TUM ...
thywww.cse.unsw.edu.au/~cs s2/HoareAbort.thy
www.cse.unsw.edu.au
Title: HOL/Hoare/HoareAbort.thy Author: Leonor Prensa Nieto & Tobias Nipkow Copyright TUM Like Hoare.thy, but with an Abort statement for modelling ...
Theory Hoare_Logic_Abort (Isabelle repository snapshot 7d5ac15ff88f...
www.isa-afp.org
Title: HOL/Hoare/Hoare_Logic_Abort.thy Author: Leonor Prensa Nieto & Tobias Nipkow Copyright TUM Like Hoare.thy, but with an Abort statement for ...
hoare.ML
cl-informatik.uibk.ac.at
ML,v :25:35 wenzelm Exp $ Author: Leonor Prensa Nieto & Tobias Nipkow Copyright TUM Derivation of the proof rules and, most ...
Related search requests for Leonor Prensa
Tobias Nipkow Gilles Barthe Gerwin Klein | Norbert Schirmer Javier Esparza Stephan Merz | Pascal Fontaine Olaf Müller Konrad Slind |
People Forename "Leonor" (2351) Name "Prensa" (29) |
sorted by relevance / date