Lambda the Ultimate

inactiveTopic Logic Programming in the Context of Multiparadigm Programming: The Oz Experience
started 12/7/2003; 5:44:48 AM - last post 12/7/2003; 5:44:48 AM
Ehud Lamm - Logic Programming in the Context of Multiparadigm Programming: The Oz Experience  blueArrow
12/7/2003; 5:44:48 AM (reads: 9376, responses: 0)
Logic Programming in the Context of Multiparadigm Programming: The Oz Experience
Peter Van Roy mentioned this paper of which he is coauthor in the LtU recent discussion group thread on language design.

This detailed paper (~50 pp.) provides a technical introdcution and survey of Oz. It is a bit too long for casual reading, but many of the sections can be read independently, if you are willing to miss out on some of the details.

Some of the sections that should interest LtU readers are: (4) Concurrent logic programming; (7) The Oz exection model (esp. 7.4 - Computation spaces); and sections (8) and (9) that provide background for Oz project and language design approach.


Posted to logic/declarative by Ehud Lamm on 12/7/03; 5:46:59 AM