Proceedings of the 11th International Conference on Logic Programming
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

Pascal Van Hentenryck
Proceedings of the 11th International Conference on Logic Programming
ICLP, 1994.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{ICLP-1994,
	address       = "Santa Marherita Ligure, Italy",
	editor        = "Pascal Van Hentenryck",
	isbn          = "0-262-72022-1",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 11th International Conference on Logic Programming}",
	year          = 1994,
}

Contents (60 items)

ICLP-1994-LaunchburyJ #lazy evaluation #thread
Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
ICLP-1994-Janson #implementation
Implementation of Andorra-based Languages (SJ), pp. 9–10.
ICLP-1994-LauW #logic programming #source code #specification #synthesis #tutorial
A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.
ICLP-1994-LammaM #composition #logic programming
Modularity in Logic Programming (EL, PM), pp. 15–17.
ICLP-1994-KakasM #abduction #logic programming
Abduction and Abductive Logic Programming (ACK, PM), pp. 18–19.
ICLP-1994-LifschitzT #logic programming
Splitting a Logic Program (VL, HT), pp. 23–37.
ICLP-1994-McCainT #independence #logic programming #source code
Language Independence and Language Tolerance in Logic Programs (NM, HT), pp. 38–57.
ICLP-1994-Stuber #modelling #program transformation
Computing Stable Models by Program Transformation (JS), pp. 58–73.
ICLP-1994-AptG #declarative
Declarative Interpretations Reconsidered (KRA, MG), pp. 74–89.
ICLP-1994-GuptaHPC #execution #logic programming #named #source code
ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.
ICLP-1994-MoolenaarD #hybrid
Hybrid Tree Search in the Andorra Model (RM, BD), pp. 110–123.
ICLP-1994-MudambiS #network #parallel
Parallel CLP on Heterogeneous Networks (SM, JS), pp. 124–141.
ICLP-1994-AraujoR #distributed #execution #independence #named #parallel #prolog
PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog (LA, JJR), pp. 142–156.
ICLP-1994-Zhou #on the #prolog #stack
On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.
ICLP-1994-BigotGD #logic programming #source code
Output Value Placement in Moded Logic Programs (PAB, DG, SKD), pp. 175–189.
ICLP-1994-Haygood #compilation #prolog
Native Code Compilation in SICStus Prolog (RCH), pp. 190–204.
ICLP-1994-Thielscher #equation #logic programming #representation
Representing Actions in Equational Logic Programming (MT), pp. 207–224.
ICLP-1994-BelleghemDS #abduction #calculus #representation
Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.
ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
ICLP-1994-LeachL #logic programming #source code
Computing Annotated Logic Programs (SML, JJL), pp. 257–271.
ICLP-1994-GabbayGMO #logic programming
Conditonal Logic Programming (DMG, LG, AM, NO), pp. 272–289.
ICLP-1994-DixGM #logic programming #modelling #source code
Causal Models of Disjunctive Logic Programs (JD, GG, VWM), pp. 290–302.
ICLP-1994-DixM #approach #axiom #semantics #source code
An Axiomatic Approach to Semantics of Disjunctive Programs (JD, MM), pp. 303–320.
ICLP-1994-BurgLH #backtracking #set
Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.
ICLP-1994-CarlsonCD #constraints #finite
Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ICLP-1994-Rauzy #design
Notes on the Design of an Open Boolean Solver (AR), pp. 354–368.
ICLP-1994-CaseauL #scheduling
Improved CLP Scheduling with Task Intervals (YC, FL), pp. 369–383.
ICLP-1994-Jiang #logic #logic programming #semantics
Ambivalent Logic as the Semantic Basis of Metalogic Programming (YJ), pp. 387–401.
ICLP-1994-Reddy #aspect-oriented #higher-order #logic programming
Higher-order Aspects of Logic Programming (USR), pp. 402–418.
ICLP-1994-CairesM #higher-order #logic programming #polymorphism #unification
Higher-Order Polymorphic Unification for Logic Programming (LC, LM), pp. 419–433.
ICLP-1994-HolsheimerBA #database #interface
A Database Interface for Complex Objects (MH, RAdB, HAK), pp. 437–455.
ICLP-1994-DeckerC #database #deduction
A Slick Procedure for Integrity Checking in Deductive Databases (HD, MC), pp. 456–469.
ICLP-1994-ClergerieL #logic programming #named
LPDA: Another look at Tabulation in Logic Programming (EVdlC, BL), pp. 470–486.
ICLP-1994-SakamaI #abduction #equivalence #logic programming #on the #source code
On the Equivalence between Disjunctive and Abductive Logic Programs (CS, KI), pp. 489–503.
ICLP-1994-KakasMD #logic programming #semantics #source code
The Acceptability Semantics for Logic Programs (ACK, PM, PMD), pp. 504–519.
ICLP-1994-BossiFM #bottom-up #semantics
A Bottom-up Semantics for Constructive Negation (AB, MF, MCM), pp. 520–534.
ICLP-1994-Moreno-Navarro
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages (JJMN), pp. 535–549.
ICLP-1994-KingS
Depth-k Sharing and Freeness (AK, PS), pp. 553–568.
ICLP-1994-DumortierJ #towards
Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.
ICLP-1994-Pedreschi #prolog #proving #runtime #source code
A Proof Method for Runtime Properties of Prolog Programs (DP), pp. 584–598.
ICLP-1994-GallagherW #approximate #logic programming #performance #precise #source code
Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.
ICLP-1994-KirchnerR #algebra #constraints #theorem proving
Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ICLP-1994-Barthelemy #approach #definite clause grammar #parsing
A Grammatical Approach to DCG Parsing (FB), pp. 632–646.
ICLP-1994-BruscoliDPR #compilation #set
Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
ICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis
The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.
ICLP-1994-KumonH #concurrent #logic
A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.
ICLP-1994-BoulangerS #abstract interpretation #approach #compilation
Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
ICLP-1994-ProiettiP #logic
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables (MP, AP), pp. 714–729.
ICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLP-1994-Mircheva #logic programming #source code
Logic Programs with Refutation Rules (MM), p. 734.
ICLP-1994-Christiansen #performance
Efficient and Complete Demo Predicates for Definite Clause Languages (HC), pp. 735–736.
ICLP-1994-Diel #towards
Towards a Verified OR-Parallel WAM (SD), pp. 737–738.
ICLP-1994-AzevedoS #program transformation
Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.
ICLP-1994-Basin
IsaWhelk Interpreted in Isabelle (DAB), p. 741.
ICLP-1994-BarklundDCL #constraints
Reflection through Constraint Satisfaction (JB, PD, SC, GAL), p. 742.
ICLP-1994-JacquetM #named
PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.
ICLP-1994-Silcrat #algebra #logic #static analysis
Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.
ICLP-1994-BreuerSK #design #hardware #proving
Proving Hardware Designs (PTB, LS, CDK), p. 745.
ICLP-1994-Kagedal #analysis #data flow #prolog
A Dataflow Analysis Method for Ground Prolog (AK), p. 746.
ICLP-1994-Zapatrin #logic programming #metric #quantum
Logic Programming as Quantum Measurement (RRZ), p. 747.

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.