default search action
7th NACLP 1990: Austin, Texas
- Saumya K. Debray, Manuel V. Hermenegildo:
Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, 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. NACLP 1990: 3-22 - Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti:
Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39 - Teodor C. Przymusinski:
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. NACLP 1990: 40-59
Implementation I
- Micha Meier:
Compilation of Compound Terms in Prolog. NACLP 1990: 63-79 - Zerksis D. Umrigar:
Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP 1990: 80-96 - Shmuel Kliger, Ehud Shapiro:
From Decision Trees to Decision Graphs. NACLP 1990: 97-116
Constraints and their Applications
- Donald A. Smith, Timothy J. Hickey:
Partial Evaluation of a CLP Language. NACLP 1990: 119-138 - Hayato Ohwada, Fumio Mizoguchi:
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design. NACLP 1990: 139-153 - Jean Jourdan, Raúl E. Valdés-Pérez:
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. NACLP 1990: 154-172
Concurrency
- Frank S. de Boer, Catuscia Palamidessi:
Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990: 175-194 - Jean-Marie Jacquet, Luís Monteiro:
Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP 1990: 195-214 - Christian Codognet, Philippe Codognet, Marc-Michel Corsini:
Abstract Interpretation for Concurrent Logic Languages. NACLP 1990: 215-232
Databases
- Yehoshua Sagiv:
Is There Anything Better than Magic? NACLP 1990: 235-254 - Shamim A. Naqvi, Francesca Rossi:
Reasoning in Inconsistent Databases. NACLP 1990: 255-272 - Yuan Liu:
Null Values in Definite Programs. NACLP 1990: 273-288
Implementation II
- Toshihiro Ozawa, Akira Hosoi, Akira Hattori:
Generation Type Garbage Collection for Parallel Logic Languages. NACLP 1990: 291-305 - Patrick Weemeeuw, Bart Demoen:
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. NACLP 1990: 306-320 - Leon Alkalaj, Tomás Lang, Ehud Shapiro:
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload. NACLP 1990: 321-339
Partial Evaluation
- Kerima Benkerimi, John W. Lloyd:
A Partial Evaluation Procedure for Logic Programs. NACLP 1990: 343-358 - Michele Bugliesi, Evelina Lamma, Paola Mello:
Partial Evaluation for Hierarchies of Logic Theories. NACLP 1990: 359-376 - Dan Sahlin:
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. NACLP 1990: 377-398
Constraints
- Jim Cox, Ken McAloon, Carol Tretkoff:
Computational Complexity and Constraint Logic Programming Languages. NACLP 1990: 401-415 - Pierre Lim, Peter J. Stuckey:
Meta Programming as Constraint Programming. NACLP 1990: 416-430 - Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy:
Janus: A step towards distributed constraint programming. NACLP 1990: 431-446
Theory
- Maria Paola Bonacina, Jieh Hsiang:
Operational and Denotational Semantics of Rewrite Programs. NACLP 1990: 449-464 - Roland N. Bol:
Towards More Efficient Loop Checks. NACLP 1990: 465-479 - Sergio Greco, Domenico Saccà:
Negative Logic Programs. NACLP 1990: 480-497
Program Analysis
- Peter Van Roy, Alvin M. Despain:
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. NACLP 1990: 501-515 - R. S. Kemp, Graem A. Ringwood:
An Algebraic Framework for Abstract Interpretation of Definite Programs. NACLP 1990: 516-530 - Kim Marriott, Harald Søndergaard:
Analysis of Constraint Logic Programs. NACLP 1990: 531-547
Proof Theory
- Richard Helm:
On the Elimination of Redundant Derivations During Execution. NACLP 1990: 551-568 - Bruce Spencer:
Avoiding Duplicate Proofs. NACLP 1990: 569-584 - James H. Andrews:
The Logical Structure of Sequential Prolog. NACLP 1990: 585-602
Parallelism I
- Gopal Gupta, Bharat Jayaraman:
Optimizing And-Or Parallel Implementations. NACLP 1990: 605-623 - Laxmikant V. Kalé, Balkrishna Ramkumar:
Joining AND Parallel Solutions in AND/OR Parallel Systems. NACLP 1990: 624-641 - Jim A. Crammond:
Scheduling and Variable Assignment in the Parallel PARLOG Implementation. NACLP 1990: 642-657
Negation
- Kim Marriott, Harald Søndergaard, Philip W. Dart:
A Characterization of Non-Floundering Logic Programs. NACLP 1990: 661-680 - Anthony J. Bonner, L. Thorne McCarty:
Adding Negation-as-Failure to Intuitionistic Logic Programming. NACLP 1990: 681-703 - Jorge Lobo:
On Constructive Negation for Disjunctive Logic Programs. NACLP 1990: 704-718
Parallelism II
- Bogumil Hausman:
Handling Speculative Work in OR-Parallel Prolog: Evaluation Results. NACLP 1990: 721-736 - Gopal Gupta, Bharat Jayaraman:
On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP 1990: 737-756 - Khayri A. M. Ali, Roland Karlsson:
The Muse Or-Parallel Prolog Model and its Performance. NACLP 1990: 757-776
Abstracts of Invited Lectures
- Jon Barwise:
Hyperproof: An Excursion in Situated Logic. NACLP 1990: 779-787 - Andrea Corradini, Ugo Montanari:
An Algebraic Semantics of Logic Programs as Structured Transition Systems. NACLP 1990: 788-812 - Fernando C. N. Pereira:
Prolog and Natural-Language Analysis: Into the Third Decade. NACLP 1990: 813-832
Abstracts of Advanced Tutorials
- Andrzej Ciepielewski:
Parallel Implementations of Prolog. NACLP 1990: 835 - Uday S. Reddy:
Types for Logic Programs. NACLP 1990: 836-840 - Pascal Van Hentenryck:
Constraint Logic Programming: From Theory to Applications. NACLP 1990: 841 - Carlo Zaniolo:
Deductive Database Systems: Applications and Programming. NACLP 1990: 842-845
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: