Abstracting synchronization in concurrent constraint programming (original) (raw)
Related papers
A confluent semantic basis for the analysis of concurrent constraint logic programs
The Journal of Logic Programming, 1997
A Semantic Framework for the Analysis of Concurrent Constraint Programming
1997
A Fully Abstract Semantics for a Version of SynchronousConcurrent Constraint Programming
1999
A framework for abstract interpretation of timed concurrent constraint programs
2009
A dataflow semantics for constraint logic programs
Lecture Notes in Computer Science, 1995
On the Expressive Power of Concurrent Constraint Programming Languages
BRICS Report Series, 2002
Suspension analyses for concurrent logic programs
ACM Transactions on Programming Languages and Systems, 1994
The Semantic Foundations of Concurrent Constraint Programming
Proceedings of the 18th …, 1991
Concurrent programming made easy
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000, 2000
Compositional analysis for concurrent constraint programming
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
Confluence in concurrent constraint programming
Theoretical Computer Science, 1997
Electronic Notes in Theoretical Computer Science, 2003
Towards a concurrent semantics based analysis of CC and CLP
Lecture Notes in Computer Science, 1994
A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph (extended)
2010
A Semantics to Generate the Context-sensitive Synchronized Control-Flow Graph
2010
Theoretical Computer Science, 1990
Relaxed Operational Semantics of Concurrent Programming Languages
Electronic Proceedings in Theoretical Computer Science, 2012
Abstract Verification and Debugging of Constraint Logic Programs
Lecture Notes in Computer Science, 2003
Reducing concurrent analysis under a context bound to sequential analysis
Formal Methods in System Design, 2009
A process algebra for synchronous concurrent constraint programming
Lecture Notes in Computer Science, 1996
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th international conference on Software engineering - ICSE '02, 2002
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems, 1996
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Static Analysis, 2017
A logical view of concurrent constraint programming
1995
ACM Computing Surveys, 1996
Associating synchronization constraints with data in an object-oriented language
ACM SIGPLAN Notices, 2006
A model-based semantics for synchronization contracts in object-oriented languages
CSP: The Best Concurrent-System Description Language in the World-Probably!
… architectures 2004: WoTUG-27: proceedings of …, 2004
Constraint-Based Concurrency and Beyond
Electronic Notes in Theoretical Computer Science, 2006
CSP: The Best Concurrent-System Description Language in the World – Probably! Extended Abstract
2010
Compositional timing-aware semantics for synchronous programming
2017 Forum on Specification and Design Languages (FDL), 2017
Models for concurrent constraint programming
Lecture Notes in Computer Science, 1996