7. SLP / NACLP 1990: Austin, Texas

Saumya K. Debray, Manuel V. Hermenegildo (Eds.): Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, October 29 - November 1, 1990. MIT Press 1990, ISBN 0-262-54058-4

Semantics

Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: Failure and Success made Symmetric. 3-22 BibTeX
Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti: Algebraic Properties of a Class of Logic Programs. 23-39 BibTeX
Teodor C. Przymusinski: Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. 40-59 BibTeX

Implementation I

Micha Meier: Compilation of Compound Terms in Prolog. 63-79 BibTeX
Zerksis D. Umrigar: Finding Advantageous Orders for Argument Unification for the Prolog WAM. 80-96 BibTeX
Shmuel Kliger, Ehud Y. Shapiro: From Decision Trees to Decision Graphs. 97-116 BibTeX

Constraints and their Applications

Donald A. Smith, Timothy J. Hickey: Partial Evaluation of a CLP Language. 119-138 BibTeX
Hayato Ohwada, Fumio Mizoguchi: A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design. 139-153 BibTeX
Jean Jourdan, Raúl E. Valdés-Pérez: Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. 154-172 BibTeX

Concurrency

Frank S. de Boer, Catuscia Palamidessi: Concurrent Logic Programming: Asynchronism and Language Comparison. 175-194 BibTeX
Jean-Marie Jacquet, Luís Monteiro: Comparative Semantics for a Parallel Contextual Logic Programming Language. 195-214 BibTeX
Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation for Concurrent Logic Languages. 215-232 BibTeX

Databases

Yehoshua Sagiv: Is There Anything Better than Magic? 235-254 BibTeX
Shamim A. Naqvi, Francesca Rossi: Reasoning in Inconsistent Databases. 255-272 BibTeX
Yuan Liu: Null Values in Definite Programs. 273-288 BibTeX

Implementation II

Toshihiro Ozawa, Akira Hosoi, Akira Hattori: Generation Type Garbage Collection for Parallel Logic Languages. 291-305 BibTeX
Patrick Weemeeuw, Bart Demoen: A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. 306-320 BibTeX
Leon Alkalaj, Tomás Lang, Ehud Y. Shapiro: FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. 321-339 BibTeX

Partial Evaluation

Kerima Benkerimi, John W. Lloyd: A Partial Evaluation Procedure for Logic Programs. 343-358 BibTeX
Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Evaluation for Hierarchies of Logic Theories. 359-376 BibTeX
Dan Sahlin: The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. 377-398 BibTeX

Constraints

Jim Cox, Ken McAloon, Carol Tretkoff: Computational Complexity and Constraint Logic Programming Languages. 401-415 BibTeX
Pierre Lim, Peter J. Stuckey: Meta Programming as Constraint Programming. 416-430 BibTeX
Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy: Janus: A step towards distributed constraint programming. 431-446 BibTeX

Theory

Maria Paola Bonacina, Jieh Hsiang: Operational and Denotational Semantics of Rewrite Programs. 449-464 BibTeX , long version: JLP 14(1&2): 155-188 (1992)
Roland N. Bol: Towards More Efficient Loop Checks. 465-479 BibTeX
Sergio Greco, Domenico Saccà: Negative Logic Programs. 480-497 BibTeX

Program Analysis

Peter Van Roy, Alvin M. Despain: The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. 501-515 BibTeX
R. S. Kemp, Graem A. Ringwood: An Algebraic Framework for Abstract Interpretation of Definite Programs. 516-530 BibTeX
Kim Marriott, Harald Søndergaard: Analysis of Constraint Logic Programs. 531-547 BibTeX

Proof Theory

Richard Helm: On the Elimination of Redundant Derivations During Execution. 551-568 BibTeX
Bruce Spencer: Avoiding Duplicate Proofs. 569-584 BibTeX
James H. Andrews: The Logical Structure of Sequential Prolog. 585-602 BibTeX

Parallelism I

Gopal Gupta, Bharat Jayaraman: Optimizing And-Or Parallel Implementations. 605-623 BibTeX
Laxmikant V. Kalé, Balkrishna Ramkumar: Joining AND Parallel Solutions in AND/OR Parallel Systems. 624-641 BibTeX
Jim A. Crammond: Scheduling and Variable Assignment in the Parallel PARLOG Implementation. 642-657 BibTeX

Negation

Kim Marriott, Harald Søndergaard, Philip W. Dart: A Characterization of Non-Floundering Logic Programs. 661-680 BibTeX
Anthony J. Bonner, L. Thorne McCarty: Adding Negation-as-Failure to Intuitionistic Logic Programming. 681-703 BibTeX
Jorge Lobo: On Constructive Negation for Disjunctive Logic Programs. 704-718 BibTeX

Parallelism II

Bogumil Hausman: Handling Speculative Work in OR-Parallel Prolog: Evaluation Results. 721-736 BibTeX
Gopal Gupta, Bharat Jayaraman: On Criteria for Or-Parallel Execution Models of Logic Programs. 737-756 BibTeX
Khayri A. M. Ali, Roland Karlsson: The Muse Or-Parallel Prolog Model and its Performance. 757-776 BibTeX

Abstracts of Invited Lectures

Jon Barwise: Hyperproof: An Excursion in Situated Logic. 779-787 BibTeX
Andrea Corradini, Ugo Montanari: An Algebraic Semantics of Logic Programs as Structured Transition Systems. 788-812 BibTeX
Fernando C. N. Pereira: Prolog and Natural-Language Analysis: Into the Third Decade. 813-832 BibTeX

Abstracts of Advanced Tutorials

Andrzej Ciepielewski: Parallel Implementations of Prolog. 835 BibTeX
Uday S. Reddy: Types for Logic Programs. 836-840 BibTeX
Pascal Van Hentenryck: Constraint Logic Programming: From Theory to Applications. 841 BibTeX
Carlo Zaniolo: Deductive Database Systems: Applications and Programming. 842-845 BibTeX

Copyright © Sat May 16 23:41:36 2009 by Michael Ley (ley@uni-trier.de)