Provably correct compiler development and implementation

Bettina Buth; Karl-Heinz Buth; Martin Fränzle; Burghard von Karger; Yassine Lakhneche; Hans Langmaack; Markus Müller-Olm; U. Kastens; P. Pfahler

Provably correct compiler development and implementation

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhneche, Hans Langmaack, Markus Müller-Olm, U. Kastens (Editor), P. Pfahler (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Compiler Construction
Publisher	Springer Verlag
Publication date	1992
Pages	141-155
Publication status	Published - 1992
Event	Compiler Construction - Duration: 1 Jan 1992 → …

Conference

Conference	Compiler Construction
Period	01/01/1992 → …

OpenUrl availability

Full text

Cite this

@inproceedings{74add859fea74a96bfc6e013c43291a9,

title = "Provably correct compiler development and implementation",

author = "Bettina Buth and Karl-Heinz Buth and Martin Fr{\"a}nzle and Karger, {Burghard von} and Yassine Lakhneche and Hans Langmaack and Markus M{\"u}ller-Olm and U. Kastens and P. Pfahler",

year = "1992",

language = "English",

pages = "141--155",

booktitle = "Compiler Construction",

publisher = "Springer Verlag",

address = "Germany",

note = "Compiler Construction ; Conference date: 01-01-1992",

}

TY - GEN

T1 - Provably correct compiler development and implementation

AU - Buth, Bettina

AU - Buth, Karl-Heinz

AU - Fränzle, Martin

AU - Karger, Burghard von

AU - Lakhneche, Yassine

AU - Langmaack, Hans

AU - Müller-Olm, Markus

A2 - Kastens, U.

A2 - Pfahler, P.

PY - 1992

Y1 - 1992

M3 - Article in proceedings

SP - 141

EP - 155

BT - Compiler Construction

PB - Springer Verlag

T2 - Compiler Construction

Y2 - 1 January 1992

ER -