ICLP/SLP

Keyphrases

Publications

1988

John Hannan, Dale Miller
Uses of Higher-Order Unification for Implementing Program Transformers. ICLP/SLP (1988)
Yossi Lichtenstein, Ehud Shapiro
Abstract Algorithmic Debugging. ICLP/SLP (1988)
Steffen Hölldobler
From Paramodulation to Narrowing. ICLP/SLP (1988)
Rajiv Trehan, Paul F. Wilk
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. ICLP/SLP (1988)
Maarten H. van Emden
Conditional Answers for Polymorphic Type Inference. ICLP/SLP (1988)
Subash Shankar
A Hierarchical Associative Memory Architecture for Logic Programming Unification. ICLP/SLP (1988)
Hiroshi Fujita, Akira Okumura, Koichi Furukawa
Partial Evaluation of GHC Programs Based on the UR-set with Constraints. ICLP/SLP (1988)
Sei-ichi Kondoh, Takashi Chikayama
Macro Processing in Prolog. ICLP/SLP (1988)
Melvin Fitting, Marion Ben-Jacob
Stratified and Three-valued Logic Programming Semantics. ICLP/SLP (1988)
Giorgio Levi
Models, Unfolding Rules and Fixpoint Semantics. ICLP/SLP (1988)
Handong Wu
An Extended Dataflow Model of FGHC. ICLP/SLP (1988)
Joseph L. Zachary
A Pragmatic Approach to Equational Logic Programming. ICLP/SLP (1988)
Lee Naish
Parallelizing NU-Prolog. ICLP/SLP (1988)
Tien Huynh, Catherine Lassez
A CLP(R) Options Trading Analysis System. ICLP/SLP (1988)
A. Bruffaerts, E. Henin
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ICLP/SLP (1988)
David Hemmendinger
A Compiler and Semantic Analyzer Based on Categorial Grammar. ICLP/SLP (1988)
Kim Marriott, Harald Søndergaard
Bottom-up Abstract Interpretation of Logic Programs. ICLP/SLP (1988)
Michael Gelfond, Vladimir Lifschitz
The Stable Model Semantics for Logic Programming. ICLP/SLP (1988)
Khayri A. M. Ali
OR-Parallel Execution of Prolog on BC-Machine. ICLP/SLP (1988)
Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP (1988)
William H. Winsborough, Annika Wærn
Transparent And-Parallelism in the Presence of Shared Free Variables. ICLP/SLP (1988)
Kave Eshghi
Abductive Planning with Event Calculus. ICLP/SLP (1988)
Kenneth Kunen
Some Remarks on the Completed Database. ICLP/SLP (1988)
David B. Kemp, Rodney W. Topor
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ICLP/SLP (1988)
Mike Brayshaw, Marc Eisenstadt
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. ICLP/SLP (1988)
Bharat Jayaraman, Anil Nair
Subset-Logic Programming: Application and Implementation. ICLP/SLP (1988)
Charles Elkan, David A. McAllester
Automated Inductive Reasoning about Logic Programs. ICLP/SLP (1988)
Jonas Barklund, Nils Hagner, Malik Wafin
Condition Graphs. ICLP/SLP (1988)
Chor Sang Kwok, Marek J. Sergot
Implicit Definition of Logic Programs. ICLP/SLP (1988)
Leon Sterling, Arun Lakhotia
Composing Prolog Meta-Interpreters. ICLP/SLP (1988)
Hirohisa Seki, Hidenori Itoh
A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP (1988)
Laurent Fribourg
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. ICLP/SLP (1988)
Kevin Steer
Testing Data Flow Diagrams with PARLOG. ICLP/SLP (1988)
Harvey Abramson
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP (1988)
Annika Wærn
An Implementation Technique for the Abstract Interpretation of Prolog. ICLP/SLP (1988)
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP (1988)
Charles D. Stormon, Mark R. Brule, John V. Oldfield, D. F. Ribeiro
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. ICLP/SLP (1988)
John S. Conery
Logical Objects. ICLP/SLP (1988)
Peter B. Reintjes
A VLSI Design Environment in PROLOG. ICLP/SLP (1988)
Saumya K. Debray
Static Analysis of Parallel Logic Programs. ICLP/SLP (1988)
Halina Przymusinska, Teodor C. Przymusinski
Weakly Perfect Model Semantics for Logic Programs. ICLP/SLP (1988)
D. A. Chu, F. G. McCabe
SWIFT: A New Symbolic Processor. ICLP/SLP (1988)
Aïda Batarekh, V. S. Subrahmanian
Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP (1988)
David Chan
Constructive Negation Based on the Completed Database. ICLP/SLP (1988)
Kam-Wing Ng, Ho-fung Leung
The Competition Model for Parallel Execution of Logic Programs. ICLP/SLP (1988)
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
A New Declarative Semantics for Logic Languages. ICLP/SLP (1988)
Kim Marriott, Lee Naish, Jean-Louis Lassez
Most Specific Logic Programs. ICLP/SLP (1988)
Jean H. Gallier, Tomás Isakowitz
Rewriting in Order-sorted Equational Logic. ICLP/SLP (1988)
Carl McCrosky, Anthony J. Kusalik
Improving First-Class Array Expressions Using Prolog. ICLP/SLP (1988)
Hamish Taylor
Localizing the GHC Suspension Test. ICLP/SLP (1988)