Compositional logic programming

    Project Details

    Description

    Logic programming is programming within certain fragments of logic.
    We advocate an operator form of logic which encourage compositional
    programming, and we examine theoretical and methodological aspects
    of the approach.
    StatusActive
    Effective start/end date01/12/200001/01/9999

    Collaborative partners

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.