Abstracting synchronization in concurrent constraint programming

This publication has 8 references indexed in Scilit:

• Proving concurrent constraint programs correct
  Published by Association for Computing Machinery (ACM) ,1994
• Compositional analysis for concurrent constraint programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Efficient analysis of concurrent constraint logic programs
  Published by Springer Nature ,1993
• Deriving descriptions of possible values of program variables by means of abstract interpretation
  The Journal of Logic Programming, 1992
• Modelling Prolog control
  Published by Association for Computing Machinery (ACM) ,1992
• The semantic foundations of concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1991
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979