NACLP

Keyphrases

Publications

1990

Kim Marriott, Harald Søndergaard
Analysis of Constraint Logic Programs. NACLP (1990)
R. S. Kemp, Graem A. Ringwood
An Algebraic Framework for Abstract Interpretation of Definite Programs. NACLP (1990)
Jim A. Crammond
Scheduling and Variable Assignment in the Parallel PARLOG Implementation. NACLP (1990)
Yehoshua Sagiv
Is There Anything Better than Magic? NACLP (1990)
Donald A. Smith, Timothy J. Hickey
Partial Evaluation of a CLP Language. NACLP (1990)
Pascal Van Hentenryck
Constraint Logic Programming: From Theory to Applications. NACLP (1990)
Shamim A. Naqvi, Francesca Rossi
Reasoning in Inconsistent Databases. NACLP (1990)
Sergio Greco, Domenico Saccà
Negative Logic Programs. NACLP (1990)
Zerksis D. Umrigar
Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP (1990)
Jim Cox, Ken McAloon, Carol Tretkoff
Computational Complexity and Constraint Logic Programming Languages. NACLP (1990)
Kim Marriott, Harald Søndergaard, Philip W. Dart
A Characterization of Non-Floundering Logic Programs. NACLP (1990)
Hayato Ohwada, Fumio Mizoguchi
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design. NACLP (1990)
Bogumil Hausman
Handling Speculative Work in OR-Parallel Prolog: Evaluation Results. NACLP (1990)
Andrzej Ciepielewski
Parallel Implementations of Prolog. NACLP (1990)
Patrick Weemeeuw, Bart Demoen
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. NACLP (1990)
Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990 NACLP (1990)
Uday S. Reddy
Types for Logic Programs. NACLP (1990)
Peter Van Roy, Alvin M. Despain
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. NACLP (1990)
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
Failure and Success made Symmetric. NACLP (1990)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation for Concurrent Logic Languages. NACLP (1990)
Yuan Liu
Null Values in Definite Programs. NACLP (1990)
Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti
Algebraic Properties of a Class of Logic Programs. NACLP (1990)
Jon Barwise
Hyperproof: An Excursion in Situated Logic. NACLP (1990)
James H. Andrews
The Logical Structure of Sequential Prolog. NACLP (1990)
Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy
Janus: A step towards distributed constraint programming. NACLP (1990)
Anthony J. Bonner, L. Thorne McCarty
Adding Negation-as-Failure to Intuitionistic Logic Programming. NACLP (1990)
Michele Bugliesi, Evelina Lamma, Paola Mello
Partial Evaluation for Hierarchies of Logic Theories. NACLP (1990)
Gopal Gupta, Bharat Jayaraman
Optimizing And-Or Parallel Implementations. NACLP (1990)
Carlo Zaniolo
Deductive Database Systems: Applications and Programming. NACLP (1990)
Maria Paola Bonacina, Jieh Hsiang
Operational and Denotational Semantics of Rewrite Programs. NACLP (1990)
Teodor C. Przymusinski
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. NACLP (1990)
Laxmikant V. Kalé, Balkrishna Ramkumar
Joining AND Parallel Solutions in AND/OR Parallel Systems. NACLP (1990)
Kerima Benkerimi, John W. Lloyd
A Partial Evaluation Procedure for Logic Programs. NACLP (1990)
Fernando C. N. Pereira
Prolog and Natural-Language Analysis: Into the Third Decade. NACLP (1990)
Frank S. de Boer, Catuscia Palamidessi
Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP (1990)
Roland N. Bol
Towards More Efficient Loop Checks. NACLP (1990)
Khayri A. M. Ali, Roland Karlsson
The Muse Or-Parallel Prolog Model and its Performance. NACLP (1990)
Bruce Spencer
Avoiding Duplicate Proofs. NACLP (1990)
Richard Helm
On the Elimination of Redundant Derivations During Execution. NACLP (1990)
Leon Alkalaj, Tomás Lang, Ehud Shapiro
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. NACLP (1990)
Pierre Lim, Peter J. Stuckey
Meta Programming as Constraint Programming. NACLP (1990)
Shmuel Kliger, Ehud Shapiro
From Decision Trees to Decision Graphs. NACLP (1990)
Jean Jourdan, Raúl E. Valdés-Pérez
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. NACLP (1990)
Micha Meier
Compilation of Compound Terms in Prolog. NACLP (1990)
Toshihiro Ozawa, Akira Hosoi, Akira Hattori
Generation Type Garbage Collection for Parallel Logic Languages. NACLP (1990)
Andrea Corradini, Ugo Montanari
An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP (1990)
Dan Sahlin
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. NACLP (1990)
Jorge Lobo
On Constructive Negation for Disjunctive Logic Programs. NACLP (1990)
Gopal Gupta, Bharat Jayaraman
On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP (1990)
Jean-Marie Jacquet, Luís Monteiro
Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP (1990)