Unfolding and fixpoint semantics of concurrent constraint logic programs
From MaRDI portal
Publication:5096197
DOI10.1007/3-540-53162-9_40zbMath1493.68068OpenAlexW4229946436MaRDI QIDQ5096197
Maurizio Gabbrielli, Giorgio Levi
Publication date: 16 August 2022
Published in: Algebraic and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-53162-9_40
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items
Model-based computing: Developing flexible machine control software ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs
Cites Work
- Declarative modeling of the operational behavior of logic languages
- Unfolding rules for GHC programs
- A model-theoretic reconstruction of the operational semantics of logic programs
- PARLOG: parallel programming in logic
- The Semantics of Predicate Logic as a Programming Language
- A Transformation System for Developing Recursive Programs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
