Control flow treatment in a simple sematics directed compiler generator

Henning Christiansen, Neil D. Jones

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationFormal description of programming concepts II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II
    EditorsDines Bjørner
    VolumeII
    PublisherNorth-Holland
    Publication date1983
    Pagess. 73-97
    ISBN (Print)0-444-86619-1
    Publication statusPublished - 1983
    EventIFIP Working Conference on Formal Description of Programming Concepts - Garmisch-Partenkirchen, Germany
    Duration: 1 Jun 19824 Jun 1982
    Conference number: 2

    Conference

    ConferenceIFIP Working Conference on Formal Description of Programming Concepts
    Number2
    CountryGermany
    CityGarmisch-Partenkirchen
    Period01/06/198204/06/1982

    Keywords

    • programming languages
    • semantics
    • compiler generation

    Cite this

    Christiansen, H., & Jones, N. D. (1983). Control flow treatment in a simple sematics directed compiler generator. In D. Bjørner (Ed.), Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II (Vol. II, pp. s. 73-97). North-Holland.
    Christiansen, Henning ; Jones, Neil D. / Control flow treatment in a simple sematics directed compiler generator. Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. editor / Dines Bjørner. Vol. II North-Holland, 1983. pp. s. 73-97
    @inproceedings{87257c5055a111de981a000ea68e967b,
    title = "Control flow treatment in a simple sematics directed compiler generator",
    keywords = "programming languages, semantics, compiler generation",
    author = "Henning Christiansen and Jones, {Neil D.}",
    year = "1983",
    language = "English",
    isbn = "0-444-86619-1",
    volume = "II",
    pages = "s. 73--97",
    editor = "Dines Bj{\o}rner",
    booktitle = "Formal description of programming concepts II",
    publisher = "North-Holland",

    }

    Christiansen, H & Jones, ND 1983, Control flow treatment in a simple sematics directed compiler generator. in D Bjørner (ed.), Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. vol. II, North-Holland, pp. s. 73-97, Garmisch-Partenkirchen, Germany, 01/06/1982.

    Control flow treatment in a simple sematics directed compiler generator. / Christiansen, Henning; Jones, Neil D.

    Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. ed. / Dines Bjørner. Vol. II North-Holland, 1983. p. s. 73-97.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    TY - GEN

    T1 - Control flow treatment in a simple sematics directed compiler generator

    AU - Christiansen, Henning

    AU - Jones, Neil D.

    PY - 1983

    Y1 - 1983

    KW - programming languages

    KW - semantics

    KW - compiler generation

    M3 - Article in proceedings

    SN - 0-444-86619-1

    VL - II

    SP - s. 73-97

    BT - Formal description of programming concepts II

    A2 - Bjørner, Dines

    PB - North-Holland

    ER -

    Christiansen H, Jones ND. Control flow treatment in a simple sematics directed compiler generator. In Bjørner D, editor, Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II. Vol. II. North-Holland. 1983. p. s. 73-97