|
403
|
Concurrent Constraint Programming
– Vijay A. Saraswat, Martin Rinard
- 1993
|
|
258
|
The family of concurrent logic programming languages
– E Y Shapiro
- 1989
|
|
744
|
The Semantics Of Constraint Logic Programs
– Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey
- 1996
|
|
43
|
Encapsulated Search for Higher-order Concurrent Constraint Programming
– Christian Schulte, Gert Smolka
- 1994
|
|
56
|
Object-Oriented Concurrent Constraint Programming in Oz
– Martin Henz, Gert Smolka, Jörg Würtz
- 1993
|
|
290
|
Functions as processes
– R Milner
- 1992
|
|
125
|
Logic Semantics for a Class of Committed-choice Programs
– Michael J Maher
- 1987
|
|
58
|
A Foundation for Higher-order Concurrent Constraint Programming
– Gert Smolka
- 1994
|
|
134
|
A unified computation model for functional and logic programming
– Michael Hanus
- 1997
|
|
273
|
An Implementation of Narrowing Strategies
– Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
- 2001
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
278
|
The Oz Programming Model
– Gert Smolka
- 1995
|
|
182
|
Concurrent Constraint Programming Languages
– Vijay Anand Saraswat
- 1989
|
|
474
|
An Abstract Prolog Instruction Set
– D H D Warren
- 1983
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
7
|
The Oz Handbook
– M Henz, M Mehl, M Muller, T Muller, J Niehren, R Scheidhauer, C Schulte, G Smolka, R Treinen, J Wurtz
- 1994
|
|
40
|
Oz - A Programming Language for Multi-Agent Systems
– Martin Henz, Gert Smolka, Jörg Würtz
- 1993
|
|
150
|
DESIGN, IMPLEMENTATION, AND EVALUATION OF THE CONSTRAINT LANGUAGE cc(FD)
– Pascal Van Hentenryck, Vijay Saraswat, Yves Deville
- 1994
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
