Axiomatization of Declarations and the formal treatment of an Escape Construct

M.M. Fokkinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationIFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts
    EditorsE.J. Neuhold
    Place of PublicationAmsterdam, The Netherlands
    PublisherNorth Holland
    Pages221-236
    Number of pages16
    ISBN (Print)0-444-85107-0
    Publication statusPublished - 1978

    Keywords

    • EWI-7242

    Cite this

    Fokkinga, M. M. (1978). Axiomatization of Declarations and the formal treatment of an Escape Construct. In E. J. Neuhold (Ed.), IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts (pp. 221-236). Amsterdam, The Netherlands: North Holland.
    Fokkinga, M.M. / Axiomatization of Declarations and the formal treatment of an Escape Construct. IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts. editor / E.J. Neuhold. Amsterdam, The Netherlands : North Holland, 1978. pp. 221-236
    @inproceedings{e552452fb5624f2db6201f2bf8826ee4,
    title = "Axiomatization of Declarations and the formal treatment of an Escape Construct",
    keywords = "EWI-7242",
    author = "M.M. Fokkinga",
    note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003430]",
    year = "1978",
    language = "Undefined",
    isbn = "0-444-85107-0",
    pages = "221--236",
    editor = "E.J. Neuhold",
    booktitle = "IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts",
    publisher = "North Holland",

    }

    Fokkinga, MM 1978, Axiomatization of Declarations and the formal treatment of an Escape Construct. in EJ Neuhold (ed.), IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts. North Holland, Amsterdam, The Netherlands, pp. 221-236.

    Axiomatization of Declarations and the formal treatment of an Escape Construct. / Fokkinga, M.M.

    IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts. ed. / E.J. Neuhold. Amsterdam, The Netherlands : North Holland, 1978. p. 221-236.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Axiomatization of Declarations and the formal treatment of an Escape Construct

    AU - Fokkinga, M.M.

    N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003430]

    PY - 1978

    Y1 - 1978

    KW - EWI-7242

    M3 - Conference contribution

    SN - 0-444-85107-0

    SP - 221

    EP - 236

    BT - IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts

    A2 - Neuhold, E.J.

    PB - North Holland

    CY - Amsterdam, The Netherlands

    ER -

    Fokkinga MM. Axiomatization of Declarations and the formal treatment of an Escape Construct. In Neuhold EJ, editor, IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts. Amsterdam, The Netherlands: North Holland. 1978. p. 221-236