Andreas Sundstrom. Comparative study between Oz 3 and Java. Technical report, Uppsala University and Swedish Institute of Computer Science, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Efficient Logic Variables for Distributed Computing - Haridi, Van Roy, Brand.. (1998) (5 citations) (Correct)
....single message will be sent to transfer the lock from one site to another. 2.5 Adding logic variables to other languages This section shows how to add logic variables in an orthogonal way to Java and ML, representative examples of object oriented and functional languages. 2.5. 1 Java Sundstrom [31] has recently defined and implemented a Java variant, CC Java (Concurrent Constraint Java) which replaces monitors by logic variables and adds statement level thread creation. Except for these differences, CC Java has the same syntax and semantics as Java. CC Java provides logic variables ....
....its value. At each point where the value of an object of class UnknownC is needed, the compiler inserts a call to obtain the value. If the value is not yet available, then the calling thread is suspended until the value becomes available through unification. The Java code to do this is given in [31]. 2.5.2 ML Smolka [28] has recently shown how logic variables can be added as a conservative extension to a functional language very similar to Standard ML. 3 Basic concepts and notation This section introduces the basic concepts and notation used for the centralized algorithms. Most of this ....
Andreas Sundstrom. Comparative study between Oz 3 and Java. Technical report, Uppsala University and Swedish Institute of Computer Science, 1998.
Efficient Logic Variables for Distributed Computing - Haridi, Van Roy, Brand.. (1998) (5 citations) (Correct)
....public class List final unknown int car; final unknown List cdr; List(unknown int car, unknown List cdr) this.car= car; this.cdr= cdr; public void cons(unknown int car, unknown List cdr) this.car= car; this.cdr= cdr; Figure 13: List implementation in CC Java 2.5. 1 Java Sundstrom [33] has recently defined and implemented a Java variant, CC Java (Concurrent Constraint Java) which replaces monitors by logic variables and adds statement level thread creation. Except for these differences, CC Java has the same syntax and semantics as Java. CC Java provides logic variables through ....
Andreas Sundstrom. Comparative study between Oz 3 and Java. Technical report, Uppsala University and Swedish Institute of Computer Science, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC