Compositional analysis for concurrent constraint programming

Moreno Falaschi; Maurizio Gabbrielli; Kim Marriott; Catuscia Palamidessi

Compositional analysis for concurrent constraint programming

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Abstract

We propose a framework for the analysis of concurrent constraint programming (ccp). Our approach is based on simple denotational semantics which approximate the usual semantics in the sense that they give a superset of the input-output relation of a ccp program. Analyses based on these semantics can be easily and efficiently implemented using standard techniques from the analysis of logic programs.

Original language	English
Title of host publication	Logic in Computer Science
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	210-221
Number of pages	12
ISBN (Print)	0818631422
Publication status	Published - 1993
Externally published	Yes
Event	Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science - Montreal, Canada Duration: 19 Jun 1993 → 23 Jun 1993

Conference

Conference	Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science
Country/Territory	Canada
City	Montreal
Period	19/06/93 → 23/06/93

Cite this

@inproceedings{73bc1f91c2ea4d41bee2e997c80c9974,

title = "Compositional analysis for concurrent constraint programming",

abstract = "We propose a framework for the analysis of concurrent constraint programming (ccp). Our approach is based on simple denotational semantics which approximate the usual semantics in the sense that they give a superset of the input-output relation of a ccp program. Analyses based on these semantics can be easily and efficiently implemented using standard techniques from the analysis of logic programs.",

author = "Moreno Falaschi and Maurizio Gabbrielli and Kim Marriott and Catuscia Palamidessi",

year = "1993",

language = "English",

isbn = "0818631422",

pages = "210--221",

booktitle = "Logic in Computer Science",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science ; Conference date: 19-06-1993 Through 23-06-1993",

}

TY - GEN

T1 - Compositional analysis for concurrent constraint programming

AU - Falaschi, Moreno

AU - Gabbrielli, Maurizio

AU - Marriott, Kim

AU - Palamidessi, Catuscia

PY - 1993

Y1 - 1993

N2 - We propose a framework for the analysis of concurrent constraint programming (ccp). Our approach is based on simple denotational semantics which approximate the usual semantics in the sense that they give a superset of the input-output relation of a ccp program. Analyses based on these semantics can be easily and efficiently implemented using standard techniques from the analysis of logic programs.

AB - We propose a framework for the analysis of concurrent constraint programming (ccp). Our approach is based on simple denotational semantics which approximate the usual semantics in the sense that they give a superset of the input-output relation of a ccp program. Analyses based on these semantics can be easily and efficiently implemented using standard techniques from the analysis of logic programs.

UR - http://www.scopus.com/inward/record.url?scp=0027148293&partnerID=8YFLogxK

M3 - Conference Paper

AN - SCOPUS:0027148293

SN - 0818631422

SP - 210

EP - 221

BT - Logic in Computer Science

PB - IEEE, Institute of Electrical and Electronics Engineers

T2 - Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science

Y2 - 19 June 1993 through 23 June 1993

ER -

Compositional analysis for concurrent constraint programming

Abstract

Conference

Other files and links

Cite this