TY - GEN
T1 - A logical denotational semantics for constraint logic programming
AU - Di Pierro, Alessandra
AU - Palamidessi, Catuscia
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994/1/1
Y1 - 1994/1/1
N2 - The process interpretation of constraint logic programming (clp) leads to a model which is similar for many aspects to (an unsynchronized version of) concurrent constraint programming (ccp). However, it differs from the latter because it supports the notion of consistency: an action can be performed only if it does not lead to an inconsistent store. We develop a denotational, fully abstract semantics for clp with respect to successful, failed and infinite observables. This semantics extends the standard model of clp in two ways: on one hand by capturing infinite computations; on the other hand by characterizing a more general notion of negation. Finally, our work can be regarded as a first step towards the development of a simple model for ccp with atomic tell.
AB - The process interpretation of constraint logic programming (clp) leads to a model which is similar for many aspects to (an unsynchronized version of) concurrent constraint programming (ccp). However, it differs from the latter because it supports the notion of consistency: an action can be performed only if it does not lead to an inconsistent store. We develop a denotational, fully abstract semantics for clp with respect to successful, failed and infinite observables. This semantics extends the standard model of clp in two ways: on one hand by capturing infinite computations; on the other hand by characterizing a more general notion of negation. Finally, our work can be regarded as a first step towards the development of a simple model for ccp with atomic tell.
U2 - 10.1007/3-540-57880-3_13
DO - 10.1007/3-540-57880-3_13
M3 - Conference contribution
AN - SCOPUS:21744444393
SN - 9783540578802
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 195
EP - 210
BT - Programming Languages and Systems - ESOP '94 - 5th European Symposium on Programming, Proceedings
A2 - Sannella, Donald
PB - Springer Verlag
T2 - 5th European Symposium on Programming, ESOP 1994
Y2 - 11 April 1994 through 13 April 1994
ER -