An abstract machine for Oz-Reference-Cited by-同舟云学术

An abstract machine for Oz

Published:1995 Issue: Volume: Page:151-168
ISSN:0302-9743
Container-title:Programming Languages: Implementations, Logics and Programs
language:
Short-container-title:

Author:

Mehl Michael,Scheidhauer Ralf,Schulte Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0026819

Reference25 articles.

1. Logic Programming Series;H. Aït-Kaci,1991

2. Per Brand. A decision graph algorithm for CCP languages. In Leon Sterling, editor, Proceedings of the 1995 International Conference on Logic Programming, pages 433–448, Kanagawa, Japan, June 1995. The MIT Press.

3. William Clinger and Jonathan Rees. The Revised4 Report on the Algorithmic Language Scheme. LISP Pointers, IV(3):1–55, July–September 1991.

4. Alain Colmerauer. Prolog and infinite trees. In K.L. Clark and S.-A. Tärnlund, editors, Logic Programming, pages 153–172. Academic Press, 1982.

5. Alain Colmerauer. Equations and inequations on finite and infinite trees. In Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, pages 85–99, 1984.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic programming in the context of multiparadigm programming: the Oz experience;Theory and Practice of Logic Programming;2003-11

2. Abstract machines for programming language implementation;Future Generation Computer Systems;2000-05

3. Implementing Encapsulated Search for a Lazy Functional Logic Language;Functional and Logic Programming;1999

4. A Virtual Machine for a Process Calculus;Lecture Notes in Computer Science;1999

5. Programming Deep Concurrent Constraint Combinators;Practical Aspects of Declarative Languages;1999