Operational Semantics of an Imperative Language in Definite Clauses

Jørgen Villadsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationProceedings of AGP-2003
    EditorsF. Buccafurri
    PublisherDIMIT
    Publication date2003
    Pages337-349
    Publication statusPublished - 2003
    EventAPPIA-GULP-PRODE Joint Conference on Declarative Programming - Reggio Calabria, Italy
    Duration: 3 Sep 20035 Sep 2003

    Conference

    ConferenceAPPIA-GULP-PRODE Joint Conference on Declarative Programming
    Country/TerritoryItaly
    CityReggio Calabria
    Period03/09/200305/09/2003

    Cite this