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 proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationCompiler Construction
    PublisherSpringer Verlag
    Publication date1992
    Publication statusPublished - 1992
    EventCompiler Construction -
    Duration: 1 Jan 1992 → …


    ConferenceCompiler Construction
    Period01/01/1992 → …

    Cite this