Title :
Compositional analysis for concurrent constraint programming
Author :
Falaschi, Moreno ; Gabbrielli, Maurizio ; Marriott, Kim ; Palamidessi, Catuscia
Author_Institution :
Dipartimento di Elettronica e Inf., Padova Univ., Italy
Abstract :
A framework for the analysis of concurrent constraint programming (CCP) is proposed. The approach is based on simple denotational semantics that 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
Keywords :
constraint handling; logic programming; parallel programming; programming theory; CCP program; compositional analysis; concurrent constraint programming; input-output relation; logic program analysis; simple denotational semantics; Application software; Australia; Computational modeling; Computer science; Concurrent computing; Data analysis; Information analysis; Logic programming; Program processors; Programming profession;
Conference_Titel :
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-3140-6
DOI :
10.1109/LICS.1993.287586
