Flow Java: Declarative Concurrency for Java. Frej Drejhammar, Christian Schulte, Per Brand and Seif Haridi. To appear in the proceedings of the Nineteenth International Conference on Logic Programming, 2003.
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations. This paper presents Flow Java which conservatively
extends Java with single assignment variables and futures as variants
of logic variables.
Related to the discussion going on about easy distributed programming and concurrency.
Posted to general by Ehud Lamm on 10/21/03; 10:19:00 AM