Provably Correct Compiler Development and Implementation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
Provably Correct Compiler Development and Implementation
CC, 1992.

CC 1992
Full names Links ISxN
	author        = "Bettina Buth and Karl-Heinz Buth and Martin Fränzle and Burghard von Karger and Yassine Lakhnech and Hans Langmaack and Markus Müller-Olm",
	booktitle     = "{Proceedings of the Fourth International Conference on Compiler Construction}",
	doi           = "10.1007/3-540-55984-1_14",
	isbn          = "3-540-55984-1",
	pages         = "141--155",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Provably Correct Compiler Development and Implementation}",
	volume        = 641,
	year          = 1992,


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.