Efficient analysis of concurrent constraint logic programs

This publication has 11 references indexed in Scilit:

• Suspension analyses for concurrent logic programs
  ACM Transactions on Programming Languages and Systems, 1994
• Deadlock analysis in networks of communicating processes
  Distributed Computing, 1991
• Data flow analysis of communicating finite state machines
  ACM Transactions on Programming Languages and Systems, 1991
• The semantic foundations of concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1991
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Moded type systems for logic programming
  Published by Association for Computing Machinery (ACM) ,1989
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Deadlock absence proofs for networks of communicating processes
  Information Processing Letters, 1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977