ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Eighth Annual IEEE Symposium on

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


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


    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 Symposium on Logic in Computer Science (LICS 1993)},
    year =	 {1993},
    month =	 {June}, 
    pages =      {210--221},
    location =   {Montreal, Canada}, 
    publisher =	 {IEEE Computer Society Press}

Last modified: 2022-10-3113:49
Sam Staton