|
Journals in DBLP
- Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Rules and Strategies for Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Marco Gavanelli, Michela Milano
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Germán Puebla, Manuel V. Hermenegildo
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Michael Leuschel
Preface - Workshop on Optimization and Implementation of Declarative Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Michael Leuschel, Jesper Jørgensen
Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Kazunori Ueda
Linearity Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Wim Vanhoof, Maurice Bruynooghe
Towards Modular Binding-Time Analysis for First-order Mercury. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
- Neng-Fa Zhou, Sosuke Kaneko
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
|