|
8
|
The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors
– Thomas Lindgren
- 1993
|
|
79
|
Global Analysis of Constraint Logic Programs
– Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens
- 1996
|
|
|
Analysis and Transformation of Logic Programs
– Kjell Erik Post
- 1994
|
|
29
|
Parallel Logic Programming Systems
– Jacques Chassin, De Kergommeaux, Philippe Codognet
- 1994
|
|
10
|
Parallel Programming with Logic Languages: a Survey
– Paolo Ciancarini
- 1992
|
|
48
|
1983--1993: The Wonder Years of Sequential Prolog Implementation
– Peter Van Roy
- 1993
|
|
|
EL PRESIDENTE LOS VOCALES
– Análisis Y Verificación De, Programas Modulares, Jesús Correas Fernández, Licenciado En Informática, Facultad De Informática, Candidato Jesús Correas, Licenciado En Informática, Germán Puebla, Licenciado En Informática, El Secretario, A Beatriz Agradecimientos
|
|
7
|
Automated Verification Of Prolog Programs
– Baudouin Le Charlier, Christophe Leclere, Sabina Rossi, Agostino Cortesi
- 1994
|
|
|
A Domain-Independent Framework for the Analysis of the CCP Language AKL (Extended Abstract)
– Per Brand, Thomas Sjöland
|
|
1
|
Implementing Concurrent Logic and Functional Languages in Dactl
– George A. Papadopoulos
- 1997
|
|
8
|
The Design And Implementation Of Massively Parallel Knowledge Representation And Reasoning Systems: A Connectionist Approach
– D. R. Mani
- 1996
|
|
20
|
A High Performance OR-parallel Prolog System
– Roland Karlsson
- 1992
|
|
135
|
Compiling Constraints in clp(FD)
– Philippe Codognet, Daniel Diaz
- 1996
|
|
705
|
Constraint Logic Programming: A Survey
– Joxan Jaffar, Michael J. Maher
|
|
6
|
Polymorphic Type Analysis in Logic Programs by Abstract Interpretation
– Lunjin Lu
- 1998
|
|
6
|
Towards the uniform implementation of declarative languages
– Manuel M. T. Chakravarty, Hendrik C. R. Lock
- 1997
|
|
2
|
Typing Constraint Logic Programs
– Francois Fages, Emmanuel Coquery
|
|
7
|
Sequence-Based Abstract Interpretation of Prolog
– Baudouin Le Charlier, Sabina Rossi, Pascal, Van Hentenryck
- 1997
|
|
5
|
Meta-Circular Abstract Interpretation in Prolog
– Michael Codish, Harald Søndergaard
|
