A logic-based calculus of events
New Generation Computing
Modeling concurrency with partial orders
International Journal of Parallel Programming
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Design and implementation of an object-oriented strongly typed language for distributed applications
Journal of Object-Oriented Programming
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
IEEE Transactions on Software Engineering
Aspect-Oriented Logic Meta Programming
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Derivation of Concurrent Algorithms in Tempo
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
Time C: A Time Constraint Language for ILP Processor Compilation
Time C: A Time Constraint Language for ILP Processor Compilation
Implementing Declarative Concurrency in Java
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |
We propose a high-level language based on first order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on specific program points of interest. Higher-level synchronization constraints on methods in a class may be defined using these temporal constraints. The constraints are enforced by the run-time environment. We illustrate our language by expressing synchronization of Java programs. However, the general underlying synchronization model we present is language independent in that it allows the programmer to glue together separate concurrent threads regardless of their implementation language and application code.