Paper: Compositional analysis for concurrent constraint programming (at LICS 1993)
Authors: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia PalamidessiAbstract
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
BibTeX
@InProceedings{FalaschiGabbrielliM-Compositionalanalys, author = {Moreno Falaschi and Maurizio Gabbrielli and Kim Marriott and Catuscia Palamidessi}, title = {Compositional analysis for concurrent constraint programming}, booktitle = {Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1993}, year = 1993, editor = {Moshe Vardi}, month = {June}, pages = {210--221}, location = {Montreal, Canada}, publisher = {IEEE Computer Society Press} }