Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/42102
DC Field | Value | |
---|---|---|
dc.title | Declarative concurrency in Java | |
dc.contributor.author | Ramirez, R. | |
dc.contributor.author | Santosa, A.E. | |
dc.date.accessioned | 2013-07-04T08:43:24Z | |
dc.date.available | 2013-07-04T08:43:24Z | |
dc.date.issued | 2000 | |
dc.identifier.citation | Ramirez, R.,Santosa, A.E. (2000). Declarative concurrency in Java. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1800 LNCS : 332-339. ScholarBank@NUS Repository. | |
dc.identifier.isbn | 354067442X | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/42102 | |
dc.description.abstract | 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. ?© 2000 Springer-Verlag Berlin Heidelberg. | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.description.volume | 1800 LNCS | |
dc.description.page | 332-339 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.