Search Sciweavers | Sciweavers

444 search results - page 1 / 89

» Declarative Concurrency in Java

click to vote

ICLP
2003
Springer

120views Automated Reasoning» more ICLP 2003»

Flow Java: Declarative Concurrency for Java

13 years 10 months ago

Download www.sics.se

Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...

Frej Drejhammar, Christian Schulte, Per Brand, Sei...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

177views Distributed And Parallel Com...» more IPPS 2000»

Declarative Concurrency in Java

13 years 9 months ago

Download ipdps.cc.gatech.edu

We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...

Rafael Ramirez, Andrew E. Santosa

claim paper

Read More »

click to vote

CONCURRENCY
2004

97views more CONCURRENCY 2004»

Linda implementations in Java for concurrent systems

13 years 4 months ago