Travelled to:1 × Hungary
1 × Italy
1 × Switzerland
1 × USA
5 × Germany
Collaborated with:∅ D.Rosenzweig E.Riccobene A.Cavarra J.Schmid C.Beierle B.Demoen P.H.Schmitt A.Cisternino V.Gervasi
Talks about:prolog (5) state (4) machin (3) framework (2) analysi (2) semant (2) formal (2) type (2) oper (2) full (2)
Person: Egon Börger
DBLP: B=ouml=rger:Egon
Facilitated 7 volumes:
EdEdEdEdEdEdEdContributed to:
2012
200320042000
1998
19931991
199119901989Wrote 11 papers:
- IFM-2012-BorgerCG #analysis #framework #web
- Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.
- SAC-2003-BorgerRC #concurrent #modelling #state machine #uml
- Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines (EB, ER, AC), pp. 1086–1091.
- SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using
- On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
- CSL-2000-BorgerS #composition #concept
- Composition and Submachine Concepts for Sequential ASMs (EB, JS), pp. 41–60.
- FM-1998-Borger #analysis #design #state machine #using
- High Level System Design and Analysis Using Abstract State Machines (EB), pp. 1–43.
- ICLP-1993-BorgerR #in a nutshell #prolog
- Full Prolog in a Nutshell (EB, DR), p. 832.
- CSL-1991-BeierleB #correctness #proving
- Correctness Proof For the WAM with Types (CB, EB), pp. 15–34.
- PLILP-1991-BorgerD #database #framework #prolog
- A Framework to Specify Database Update Views for Prolog (EB, BD), pp. 147–158.
- CSL-1990-BorgerR #algebra #implementation #prolog #towards
- From Prolog Algebras Towards WAM — A Mathematical Study of Implementation (EB, DR), pp. 31–66.
- CSL-1990-BorgerS #prolog #semantics
- A Formal Operational Semantics for Languages of Type Prolog III (EB, PHS), pp. 67–79.
- CSL-1989-Borger #logic #prolog #semantics
- A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control (EB), pp. 36–64.