Control flow treatment in a simple sematics directed compiler generator

Henning Christiansen, Neil D. Jones

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelFormal description of programming concepts II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II
    RedaktørerDines Bjørner
    Vol/bindII
    ForlagNorth-Holland
    Publikationsdato1983
    Siders. 73-97
    ISBN (Trykt)0-444-86619-1
    StatusUdgivet - 1983
    BegivenhedIFIP Working Conference on Formal Description of Programming Concepts - Garmisch-Partenkirchen, Tyskland
    Varighed: 1 jun. 19824 jun. 1982
    Konferencens nummer: 2

    Konference

    KonferenceIFIP Working Conference on Formal Description of Programming Concepts
    Nummer2
    LandTyskland
    ByGarmisch-Partenkirchen
    Periode01/06/198204/06/1982

    Citer dette

    Christiansen, H., & Jones, N. D. (1983). Control flow treatment in a simple sematics directed compiler generator. I D. Bjørner (red.), Formal description of programming concepts II: proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II (Bind II, s. s. 73-97). North-Holland.