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

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.