Treffer: Declarative concurrency in Java

Title:
Declarative concurrency in Java
Authors:
RAMIREZ, R, SANTOSA, A. E
Source:
Parallel and distributed processing (Cancun, 1-5 May 2000)Lecture notes in computer science. :332-339
Publisher Information:
Berlin: Springer, 2000.
Publication Year:
2000
Physical Description:
print, 15 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Performance programme, Program performance, Eficacia programa, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Programmation orientée objet, Object oriented programming, Simultanéité informatique, Concurrency, Simultaneidad informatica, Spécification programme, Program specification, Especificación programa, Système mémoire répartie, Distributed memory systems
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
National University of Singapore, School of Computing, S16 3, Science Drive 2, Singapore 117543, Singapore
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=1375899
Rights:
Copyright 2000 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.1375899
Database:
PASCAL Archive

Weitere Informationen

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.