David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Menlo Park, CA, October 1983. Remark The DFKI Oz system and papers of authors from the Programming Systems Lab at DFKI are available through WWW at http://ps-www.dfki.uni-sb.de/ or through anonymous ftp from ps-ftp.dfki.uni-sb.de. 23  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
An Abstract Machine for Oz - Mehl, al. (1995) (17 citations) (Correct)
....Oz provides for multiple threads that are scheduled fairly. In Amoz threads are lightweight, implemented as multiple stacks of tasks that are scheduled preemptively and fairly. The design of abstract machines for constraint based languages has been pioneered by the Warren Abstract Machine (WAM) [25, 1]. The implementation of DFKI Oz has been influenced by the AGENTS implementation of the concurrent constraint language AKL [8] AKL is a deep guard language providing for encapsulated search. However, AKL does not provide for first class procedures and threads. cc(FD) 23] is a constraint ....
.... TUPLE(f=n) S=new Node htag:TUPLE, tuple:hlabel:f=n, args:new Node[n]ii; case PUT ARG(i,j) S tuple.args[i] E[j] case UNIFY S(i) if (unify(S,E[i] False) goto fail; The compilation scheme presented above is simplified; the integration of optimization techniques known from the WAM [25, 1, 24] like read write mode unification, and allocation of temporary variables to registers is straightforward and is not detailed. 6 Threads and Matching This section introduces threads through a restricted form of conditional expression that implements pattern matching. Conditionals considered ....
David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Menlo Park, CA, October 1983. Remark The DFKI Oz system and papers of authors from the Programming Systems Lab at DFKI are available through WWW at http://ps-www.dfki.uni-sb.de/ or through anonymous ftp from ps-ftp.dfki.uni-sb.de. 23
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