A Framework for Timed Concurrent Constraint Programming with External Functions

DOI10.1016/j.entcs.2007.05.043zbMath1278.68066OpenAlexW1993216971WikidataQ57978212 ScholiaQ57978212MaRDI QIDQ2867965

Alicia Villanueva, Bernhard Gramlich, María Alpuente

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.043

zbMATH Keywords

case studyfunctional featurestimed concurrent constraint language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (2)

A Framework for Timed Concurrent Constraint Programming with External Functions ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• Mercury
• TOY

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability of infinite-state timed CCP processes and first-order LTL
• A timed concurrent constraint language.
• A Framework for Timed Concurrent Constraint Programming with External Functions
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Logic programming in the context of multiparadigm programming: the Oz experience
• Automatic verification of timed concurrent constraint programs

This page was built for publication: A Framework for Timed Concurrent Constraint Programming with External Functions