Note:
This bibliographic page is archived and will no longer be updated.
For an up-to-date list of publications from the Music Technology Group see the
Publications list
.
Model checking constraint-based concurrent Java programs
Title | Model checking constraint-based concurrent Java programs |
Publication Type | Conference Paper |
Year of Publication | 2004 |
Conference Name | International Workshop on Constructive Methods for Parallel Programming |
Authors | Ramírez, M. , Martinez J. , & Santosa A. |
Abstract | Constraint-based synchronization pioneered by (concurrent) logic and concurrent constraint programming is a powerful mechanism for elegantly synchronizing concurrent and distributed computations. It supports a declarative model of concurrency that avoids explicitly suspending and resuming computations. This paper describes (1) a new model for high-level concurrent and distributed programming based on constraint entailment, (2) its implementation (for both uniprocessors and distributed systems) as an extension to the Java programming language, and (3) how model-based verification methods can be directly applied to programs in the resulting language. |