Declarative Semantics of Input Consuming Logic Programs

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

    Research output: Book/ReportReportOther research output

    1 Citation (Scopus)
    50 Downloads (Pure)

    Abstract

    Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages24
    Publication statusPublished - Feb 2004

    Publication series

    NameCTIT technical reports series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.CTIT-TR-04-08

    Keywords

    • SCS-Cybersecurity
    • IR-57005
    • EWI-5796

    Cite this