A Proof Theoretic Study of Soft Concurrent Constraint Programming

Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 14; no. 4-5; pp. 649 - 663
Main Authors:	PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2014
Subjects:	Fragmentation Joints Logic Logic programming Mathematical models Programming Proving Regular Papers Side effects Linear Logic Soft Constraints Concurrent Constraint Programming
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!