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.