Layered modes

Sandro Etalle, Maurizio Gabbrielli

    Research output: Contribution to journalArticleAcademicpeer-review

    3 Citations (Scopus)
    25 Downloads (Pure)

    Abstract

    Modes were introduced in logic programming to differentiate the input arguments of a predicate from its output arguments. This information can be used for verifying the most diverse properties of logic programs notably absence of run-time errors and absence of dead-locks in presence of delay declarations. We introduce here layered modes, an extension of existing mode systems which allow us to enlarge the class of programs which can be verified by using modes. In particular, we show that this extension allows us to better handle programs that employ a dynamic selection rule and programs that use incomplete data structures such as difference-lists.
    Original languageEnglish
    Pages (from-to)225-244
    Number of pages20
    JournalThe Journal of Logic Programming
    Volume39
    Issue number1-3
    DOIs
    Publication statusPublished - Apr 1999

    Keywords

    • Logic programming
    • Modes
    • Dynamic scheduling
    • Deadlock
    • Concurrent logic programs

    Fingerprint

    Dive into the research topics of 'Layered modes'. Together they form a unique fingerprint.

    Cite this