BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × India
1 × Norway
1 × Singapore
1 × Spain
1 × The Netherlands
1 × United Kingdom
4 × Germany
Collaborated with:
B.Beckert ∅ M.Ulbrich C.Scheben R.Hähnle I.Tonin J.Goubault-Larrecq E.Börger M.Karpinski H.K.Büning V.Klebanov M.Giese D.Bruns C.Beierle J.Dörre U.Pletat C.Rollinger R.Studer P.Rümmer S.Schlager W.Ahrendt T.Baar E.Habermalz W.Menzel W.Mostowski
Talks about:
system (4) orient (3) object (3) logic (3) softwar (2) languag (2) integr (2) inform (2) formal (2) design (2)

Person: Peter H. Schmitt

DBLP DBLP: Schmitt:Peter_H=

Contributed to:

FM 20152015
FM 20142014
LOPSTR 20132013
CADE 20072007
SEFM 20072007
SEFM 20062006
SEFM 20032003
FASE 20022002
TACAS 19971997
CSL 19901990
CSL 19881988
CSL 19871987
CADE 19861986

Wrote 14 papers:

FM-2015-SchmittU #axiom #first-order #logic
Axiomatization of Typed First-Order Logic (PHS, MU), pp. 470–486.
FM-2014-SchebenS #calculus #composition #performance #self
Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
LOPSTR-2013-BeckertBKSSU #data flow #object-oriented
Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
CADE-2007-BeckertGHKRSS #component #deduction
The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
SEFM-2007-SchmittT #case study #verification
Verifying the Mondex Case Study (PHS, IT), pp. 47–58.
SEFM-2006-BeckertHS #deduction #design #object-oriented #verification
Integrating Object-Oriented Design and Deductive Verification of Software (BB, RH, PHS), p. 260.
SEFM-2003-BeckertS #using #verification
Program Verification Using Change Information (BB, PHS), p. 91–?.
FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.
TACAS-1997-SchmittG #linear #logic
A Tableau System for Linear-TIME Temporal Logic (PHS, JGL), pp. 130–144.
CSL-1990-BorgerS #prolog #semantics
A Formal Operational Semantics for Languages of Type Prolog III (EB, PHS), pp. 67–79.
CSL-1988-BeierleDPRSS #information management #representation
The Knowledge Representation Language LLILOG (CB, JD, UP, CRR, PHS, RS), pp. 14–51.
CSL-1987-KarpinskiBS #complexity #horn clause #on the #quantifier
On the Computational Complexity of Quantified Horn Clauses (MK, HKB, PHS), pp. 129–137.
CSL-1987-Schmitt #overview #term rewriting
A Survey of Rewrite Systems (PHS), pp. 235–262.
CADE-1986-Schmitt #aspect-oriented #logic
Computational Aspects of Three-Valued Logic (PHS), pp. 190–198.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.