Logic in Computer Science (LICS 1993)

Paper: Compositional analysis for concurrent constraint programming (at LICS 1993)

Authors: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi

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

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}
  }