Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

Eneia Todoran, Jerry den Hartog, Erik P. de Vink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information the operational semantics is recovered.
    Original languageEnglish
    Title of host publicationLogic programming
    Subtitle of host publicationproceedings of the 1997 International Symposium
    EditorsJan Małuszyński
    Place of PublicationCambridge, MA
    PublisherMIT Press
    Pages101-115
    Number of pages15
    ISBN (Print)9780262631808
    DOIs
    Publication statusPublished - Oct 1997

    Fingerprint

    Parallel programming
    Logic programming
    Semantics
    Flow control

    Cite this

    Todoran, E., den Hartog, J., & de Vink, E. P. (1997). Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. In J. Małuszyński (Ed.), Logic programming: proceedings of the 1997 International Symposium (pp. 101-115). Cambridge, MA: MIT Press. https://doi.org/10.7551/mitpress/4283.003.0023
    Todoran, Eneia ; den Hartog, Jerry ; de Vink, Erik P. / Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. Logic programming: proceedings of the 1997 International Symposium. editor / Jan Małuszyński. Cambridge, MA : MIT Press, 1997. pp. 101-115
    @inproceedings{3347984e927c448e8872fad5f7147e9d,
    title = "Comparative Metric Semantics for Commit in Or-Parallel Logic Programming",
    abstract = "For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information the operational semantics is recovered.",
    author = "Eneia Todoran and {den Hartog}, Jerry and {de Vink}, {Erik P.}",
    note = "Imported from DIES",
    year = "1997",
    month = "10",
    doi = "10.7551/mitpress/4283.003.0023",
    language = "English",
    isbn = "9780262631808",
    pages = "101--115",
    editor = "Jan Małuszyński",
    booktitle = "Logic programming",
    publisher = "MIT Press",

    }

    Todoran, E, den Hartog, J & de Vink, EP 1997, Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. in J Małuszyński (ed.), Logic programming: proceedings of the 1997 International Symposium. MIT Press, Cambridge, MA, pp. 101-115. https://doi.org/10.7551/mitpress/4283.003.0023

    Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. / Todoran, Eneia; den Hartog, Jerry; de Vink, Erik P.

    Logic programming: proceedings of the 1997 International Symposium. ed. / Jan Małuszyński. Cambridge, MA : MIT Press, 1997. p. 101-115.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

    AU - Todoran, Eneia

    AU - den Hartog, Jerry

    AU - de Vink, Erik P.

    N1 - Imported from DIES

    PY - 1997/10

    Y1 - 1997/10

    N2 - For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information the operational semantics is recovered.

    AB - For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information the operational semantics is recovered.

    U2 - 10.7551/mitpress/4283.003.0023

    DO - 10.7551/mitpress/4283.003.0023

    M3 - Conference contribution

    SN - 9780262631808

    SP - 101

    EP - 115

    BT - Logic programming

    A2 - Małuszyński, Jan

    PB - MIT Press

    CY - Cambridge, MA

    ER -

    Todoran E, den Hartog J, de Vink EP. Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. In Małuszyński J, editor, Logic programming: proceedings of the 1997 International Symposium. Cambridge, MA: MIT Press. 1997. p. 101-115 https://doi.org/10.7551/mitpress/4283.003.0023