Proceedings of the North American Conference on Logic Programming, 2 Volumes
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Saumya K. Debray, Manuel V. Hermenegildo
Proceedings of the North American Conference on Logic Programming, 2 Volumes
NACLP, 1990.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{NACLP-1990,
	address       = "Austin, Texas, USA",
	editor        = "Saumya K. Debray and Manuel V. Hermenegildo",
	isbn          = "0-262-54058-4",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}",
	year          = 1990,
}

Contents (49 items)

NACLP-1990-LeviMP #symmetry
Failure and Success made Symmetric (GL, MM, CP), pp. 3–22.
NACLP-1990-MancarellaPRT #algebra #logic programming #source code
Algebraic Properties of a Class of Logic Programs (PM, DP, MR, MT), pp. 23–39.
NACLP-1990-Przymusinski #database #deduction #logic programming #semantics #source code
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases (TCP), pp. 40–59.
NACLP-1990-Meier #compilation #prolog
Compilation of Compound Terms in Prolog (MM), pp. 63–79.
NACLP-1990-Umrigar #order #prolog #unification
Finding Advantageous Orders for Argument Unification for the Prolog WAM (ZDU), pp. 80–96.
NACLP-1990-KligerS #graph
From Decision Trees to Decision Graphs (SK, EYS), pp. 97–116.
NACLP-1990-SmithH #partial evaluation
Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.
NACLP-1990-OhwadaM #approach #consistency #constraints #design #interface #logic programming #maintenance
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design (HO, FM), pp. 139–153.
NACLP-1990-JourdanV #constraints #logic programming #reasoning
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry (JJ, REVP), pp. 154–172.
NACLP-1990-BoerP #comparison #concurrent #logic programming
Concurrent Logic Programming: Asynchronism and Language Comparison (FSdB, CP), pp. 175–194.
NACLP-1990-JacquetM #comparative #logic programming #parallel #programming language #semantics
Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.
NACLP-1990-CodognetCC #abstract interpretation #concurrent #logic
Abstract Interpretation for Concurrent Logic Languages (CC, PC, MMC), pp. 215–232.
NACLP-1990-Sagiv #question
Is There Anything Better than Magic? (YS), pp. 235–254.
NACLP-1990-NaqviR #consistency #database #reasoning
Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.
NACLP-1990-Liu #null #source code
Null Values in Definite Programs (YL), pp. 273–288.
NACLP-1990-OzawaHH #garbage collection #generative #logic #parallel
Generation Type Garbage Collection for Parallel Logic Languages (TO, AH, AH), pp. 291–305.
NACLP-1990-WeemeeuwD #memory management #multi
A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors (PW, BD), pp. 306–320.
NACLP-1990-AlkalajLS #automaton #development
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (LA, TL, EYS), pp. 321–339.
NACLP-1990-BenkerimiL #logic programming #partial evaluation #source code
A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.
NACLP-1990-BugliesiLM #logic #partial evaluation
Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.
NACLP-1990-Sahlin #approach #automation #partial evaluation #prolog
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.
NACLP-1990-CoxMT #complexity #constraints #logic programming #programming language
Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.
NACLP-1990-LimS #constraints #metaprogramming
Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.
NACLP-1990-SaraswatKL #constraints #distributed #named #programming #towards
Janus: A step towards distributed constraint programming (VAS, KMK, JL), pp. 431–446.
NACLP-1990-BonacinaH #semantics #source code
Operational and Denotational Semantics of Rewrite Programs (MPB, JH), pp. 449–464.
NACLP-1990-Bol #performance #towards
Towards More Efficient Loop Checks (RNB), pp. 465–479.
NACLP-1990-GrecoS #logic programming #source code
Negative Logic Programs (SG, DS), pp. 480–497.
NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
NACLP-1990-KempR #abstract interpretation #algebra #framework #source code
An Algebraic Framework for Abstract Interpretation of Definite Programs (RSK, GAR), pp. 516–530.
NACLP-1990-MarriottS #analysis #constraints #logic programming #source code
Analysis of Constraint Logic Programs (KM, HS), pp. 531–547.
NACLP-1990-Helm #execution #on the
On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.
NACLP-1990-Spencer #proving
Avoiding Duplicate Proofs (BS), pp. 569–584.
NACLP-1990-Andrews #logic #prolog
The Logical Structure of Sequential Prolog (JHA), pp. 585–602.
NACLP-1990-GuptaJ #implementation #optimisation #parallel
Optimizing And-Or Parallel Implementations (GG, BJ), pp. 605–623.
NACLP-1990-KaleR #parallel
Joining AND Parallel Solutions in AND/OR Parallel Systems (LVK, BR), pp. 624–641.
NACLP-1990-Crammond #implementation #parallel #scheduling
Scheduling and Variable Assignment in the Parallel PARLOG Implementation (JAC), pp. 642–657.
NACLP-1990-MarriottSD #logic programming #source code
A Characterization of Non-Floundering Logic Programs (KM, HS, PWD), pp. 661–680.
NACLP-1990-BonnerM #logic programming
Adding Negation-as-Failure to Intuitionistic Logic Programming (AJB, LTM), pp. 681–703.
NACLP-1990-Lobo #logic programming #on the #source code
On Constructive Negation for Disjunctive Logic Programs (JL), pp. 704–718.
NACLP-1990-Hausman #evaluation #prolog
Handling Speculative Work in OR-Parallel Prolog: Evaluation Results (BH), pp. 721–736.
NACLP-1990-GuptaJ90a #execution #logic programming #modelling #on the #source code
On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.
NACLP-1990-AliK #performance #prolog
The Muse Or-Parallel Prolog Model and its Performance (KAMA, RK), pp. 757–776.
NACLP-1990-Barwise #logic #named
Hyperproof: An Excursion in Situated Logic (JB), pp. 779–787.
NACLP-1990-CorradiniM #algebra #logic programming #semantics #source code
An Algebraic Semantics of Logic Programs as Structured Transition Systems (AC, UM), pp. 788–812.
NACLP-1990-Pereira #analysis #prolog
Prolog and Natural-Language Analysis: Into the Third Decade (FCNP), pp. 813–832.
NACLP-1990-Ciepielewski #implementation #parallel #prolog
Parallel Implementations of Prolog (AC), p. 835.
NACLP-1990-Reddy #logic programming #source code
Types for Logic Programs (USR), pp. 836–840.
NACLP-1990-Hentenryck #constraints #logic programming
Constraint Logic Programming: From Theory to Applications (PVH), p. 841.
NACLP-1990-Zaniolo #database #deduction #programming
Deductive Database Systems: Applications and Programming (CZ), pp. 842–845.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.