Lee Naish
Proceedings of the 14th International Conference on Logic Programming
ICLP, 1997.

@proceedings{ICLP-1997,
	address       = "Leuven, Belgium",
	editor        = "Lee Naish",
	isbn          = "0-262-64035-X",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the 14th International Conference on Logic Programming}",
	year          = 1997,
}

Contents (41 items)

19 ×#logic programming
11 ×#source code
9 ×#constraints
6 ×#analysis
3 ×#automation
3 ×#functional
3 ×#parallel
2 ×#bottom-up
2 ×#calculus
2 ×#composition

ICLP-1997-Schachte #logic programming

Global Variables in Logic Programming (PS), pp. 3–17.

ICLP-1997-KagedalD #approach #array #reuse #using

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.

ICLP-1997-BruynoogheJK #analysis #logic programming #programming language

Live-Structure Analysis for Logic Programming Languages with Declarations (MB, GJ, AK), pp. 33–47.

ICLP-1997-DebrayGH #analysis #logic programming #source code

Non-Failure Analysis for Logic Programs (SKD, PLG, MVH), pp. 48–62.

ICLP-1997-LindenstraussS #analysis #automation #logic programming #source code #termination

Automatic Termination Analysis of Logic Programs (NL, YS), pp. 63–77.

ICLP-1997-DecorteS #analysis #automation #constraints #logic programming #source code

Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs (SD, DDS), pp. 78–92.

ICLP-1997-PueblaBMS #logic programming #optimisation #scheduling #source code

Optimization of Logic Programs with Dynamic Scheduling (GP, MJGdlB, KM, PJS), pp. 93–107.

ICLP-1997-PontelliGPF #automation #parallel #prolog #source code

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism (EP, GG, FP, AF), pp. 108–122.

ICLP-1997-PontelliG #implementation

Implementation Mechanisms for Dependent And-Parallelism (EP, GG), pp. 123–137.

ICLP-1997-AntoyEH #evaluation #functional #logic #parallel

Parallel Evaluation Strategies for Functional Logic Languages (SA, RE, MH), pp. 138–152.

ICLP-1997-Gonzalez-MorenoHR #functional #higher-order #logic programming

A Higher Order Rewriting Logic for Functional Logic Programming (JCGM, MTHG, MRA), pp. 153–167.

ICLP-1997-Raamsdonk #logic programming #source code #term rewriting

Translating Logic Programs into Conditional Rewriting Systems (FvR), pp. 168–182.

ICLP-1997-MolinaP #composition #functional #logic programming

Modularity in Functional-Logic Programming (JMMB, EP), pp. 183–197.

ICLP-1997-FreireSW

Taking I/O Seriously: Resolution Reconsidered for Disk (JF, TS, DSW), pp. 198–212.

ICLP-1997-TorosluK #algorithm #effectiveness #maintenance #recursion

Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm (IHT, FK), pp. 213–225.

ICLP-1997-WichertF #database

Capturing Database Dynamics by Deferred Updates (CAW, BF), pp. 226–240.

ICLP-1997-DekhtyarD #constraints #recognition

Total Homeostaticity and Integrity Constraints Restorability Recognition (MID, AJD), pp. 241–255.

ICLP-1997-DahlTL #natural language

Assumption Grammars for Processing Natural Language (VD, PT, RL), pp. 256–270.

ICLP-1997-VaupelGP #execution #logic programming #source code #visualisation

Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.

ICLP-1997-Schulte #constraints #programming #visual notation

Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 286–300.

ICLP-1997-Stuckey #constraints

Constraint Search Tree (PJS), pp. 301–315.

ICLP-1997-CaseauL #constraints

Solving Small TSPs with Constraints (YC, FL), pp. 316–330.

ICLP-1997-AjiliK #composition #constraints #framework #unification

A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.

ICLP-1997-BelleghemDS #logic #logic programming

A Strong Correspondence between Description Logics and Open Logic Programming (KVB, MD, DDS), pp. 346–360.

ICLP-1997-YouWY #logic programming

Disjunctive Logic Programming as Constrained Inferences (JHY, XW, LYY), pp. 361–375.

ICLP-1997-ShimajiriSI #modelling

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP (YS, HS, HI), pp. 376–390.

ICLP-1997-DekhtyarS #hybrid #probability #source code

Hybrid Probabilistic Programs (AD, VSS), pp. 391–405.

ICLP-1997-BaumgartnerF #calculus #logic programming

Calculi for Disjunctive Logic Programming (PB, UF), p. 409.

ICLP-1997-HuangSS #execution #modelling #parallel

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.

ICLP-1997-Mahajan #concurrent #logic programming #π-calculus

Concurrent Logic Programming and π Calculus (SM, SR), p. 411.

ICLP-1997-MullerW #concurrent #constraints

Connecting Propagators with a Concurrent Constraint Language (TM, JW), p. 412.

ICLP-1997-LammaMM #constraints #logic programming #reasoning

Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.

ICLP-1997-TsuchidaAIY #constraints #logic programming #using

Tree Drawing Using Constraint Logic Programming (KT, YA, TI, TY), p. 414.

ICLP-1997-Liu #database #deduction #set #tuple

Supporting Partial and Complete Sets and Tuples in Deductive Databases (ML), p. 415.

ICLP-1997-CodishDS #program analysis

XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.

ICLP-1997-BuenoCL #analysis #logic programming #set #source code #using

Sharing Analysis Using Set Logic Programs (FB, MC, VL), p. 417.

ICLP-1997-SmausHK #analysis #logic programming #source code

Domain Construction for Mode Analysis of Typed Logic Programs (JGS, PMH, AK), p. 418.

ICLP-1997-CervesatoFM #calculus #complexity #model checking

The Complexity of Model Checking in Modal Event Calculi (IC, MF, AM), p. 419.

ICLP-1997-Petukhin #embedded

Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.

ICLP-1997-ZukowskiF #bottom-up #difference #semantics

Differential Bottom-Up Computation of the Well-Founded Semantics (UZ, BF, SB), p. 421.

ICLP-1997-Codish #bottom-up #evaluation #logic programming #performance #source code

Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.