Operational Semantics of an Imperative Language in Definite Clauses

Jørgen Villadsen

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelProceedings of AGP-2003
    RedaktørerF. Buccafurri
    ForlagDIMIT
    Publikationsdato2003
    Sider337-349
    StatusUdgivet - 2003
    BegivenhedAPPIA-GULP-PRODE Joint Conference on Declarative Programming - Reggio Calabria, Italien
    Varighed: 3 sep. 20035 sep. 2003

    Konference

    KonferenceAPPIA-GULP-PRODE Joint Conference on Declarative Programming
    LandItalien
    ByReggio Calabria
    Periode03/09/200305/09/2003

    Citer dette

    Villadsen, J. (2003). Operational Semantics of an Imperative Language in Definite Clauses. I F. Buccafurri (red.), Proceedings of AGP-2003 (s. 337-349). DIMIT.