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.
    Villadsen, Jørgen. / Operational Semantics of an Imperative Language in Definite Clauses. Proceedings of AGP-2003. red. / F. Buccafurri. DIMIT, 2003. s. 337-349
    @inproceedings{fc836e1052bd11dba4bc000ea68e967b,
    title = "Operational Semantics of an Imperative Language in Definite Clauses",
    author = "J{\o}rgen Villadsen",
    year = "2003",
    language = "English",
    pages = "337--349",
    editor = "F. Buccafurri",
    booktitle = "Proceedings of AGP-2003",
    publisher = "DIMIT",

    }

    Villadsen, J 2003, Operational Semantics of an Imperative Language in Definite Clauses. i F Buccafurri (red.), Proceedings of AGP-2003. DIMIT, s. 337-349, APPIA-GULP-PRODE Joint Conference on Declarative Programming, Reggio Calabria, Italien, 03/09/2003.

    Operational Semantics of an Imperative Language in Definite Clauses. / Villadsen, Jørgen.

    Proceedings of AGP-2003. red. / F. Buccafurri. DIMIT, 2003. s. 337-349.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    TY - GEN

    T1 - Operational Semantics of an Imperative Language in Definite Clauses

    AU - Villadsen, Jørgen

    PY - 2003

    Y1 - 2003

    M3 - Article in proceedings

    SP - 337

    EP - 349

    BT - Proceedings of AGP-2003

    A2 - Buccafurri, F.

    PB - DIMIT

    ER -

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