BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: B=ouml=rger:Egon

Facilitated 7 volumes:

CSL 1993Ed
CSL 1992Ed
CSL 1991Ed
CSL 1990Ed
CSL 1989Ed
CSL 1988Ed
CSL 1987Ed

Contributed to:

IFM 20122012
SAC 20032003
SAC 20032004
CSL 20002000
FM-Trends 19981998
ICLP 19931993
CSL 19911991
PLILP 19911991
CSL 19901990
CSL 19891989

Wrote 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.

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.