John W. Lloyd
Proceedings of the International Symposium on Logic Programming
ILPS, 1995.

@proceedings{ILPS-1995,
	address       = "Portland, Oregon, USA",
	editor        = "John W. Lloyd",
	isbn          = "0-262-62099-5",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the International Symposium on Logic Programming}",
	year          = 1995,
}

Contents (53 items)

20 ×#logic programming
10 ×#source code
6 ×#constraints
6 ×#semantics
4 ×#approach
4 ×#declarative
4 ×#modelling
4 ×#tutorial
3 ×#functional
3 ×#implementation

ILPS-1995-Dershowitz #semantics

Goal Solving as Operational Semantics (ND), pp. 3–17.

ILPS-1995-Wadler #how #imperative

How to Declare an Imperative (PW), pp. 18–32.

ILPS-1995-McClay

Surviving the AI Winter (WJM), pp. 33–47.

ILPS-1995-JaffarMN #case study #logic programming #modelling

Logic Programming and Object Modelling: A Case Study (JJ, MJM, GN), p. 48.

ILPS-1995-BekkersT #logic programming #monad

Monadic Constructs for Logic Programming (YB, PT), pp. 51–65.

ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language

Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.

ILPS-1995-Liu #datalog #named #set #tuple

Relationlog: A Typed Extension to Datalog with Sets and Tuples (ML), pp. 83–97.

ILPS-1995-Toman #bottom-up #constraints #datalog #top-down

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.

ILPS-1995-DelzannoM

Objects in Forum (GD, MM), pp. 115–129.

ILPS-1995-JamilL #behaviour #declarative #inheritance #semantics

A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.

ILPS-1995-Prehofer #call-by #functional #higher-order #logic programming

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming (CP), pp. 147–161.

ILPS-1995-DidierE #abstraction #term rewriting

Abstraction of Conditional Term Rewriting Systems (DB, RE), pp. 162–176.

ILPS-1995-Hui-Bon-Hoa #proving

Clause-based proofs for hereditary Harrop formulas (AHBH), pp. 179–193.

ILPS-1995-DawsonRRS #optimisation #unification

Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.

ILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code

A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.

ILPS-1995-CarlsonCJ #implementation

The implementation of AKL(FD) (BC, MC, SJ), pp. 227–241.

ILPS-1995-ConwayHS #code generation

Code Generation for Mercury (TCC, FH, ZS), pp. 242–256.

ILPS-1995-BigotD #approach

A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages (PAB, SKD), pp. 257–271.

ILPS-1995-CominiLV #declarative #revisited

Declarative Diagnosis Revisited (MC, GL, GV), pp. 275–287.

ILPS-1995-BarklundDCL #encoding #logic programming #semantics

Semantical Properties of Encodings in Logic Programming (JB, PD, SC, GAL), pp. 288–302.

ILPS-1995-Brzoska #logic programming

Temporal Logic Programming in Dense Time (CB), pp. 303–317.

ILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.

ILPS-1995-JanssensBD #abstract interpretation #automaton #constraints #logic programming #source code

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs (GJ, MB, VD), pp. 336–350.

ILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis

Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.

ILPS-1995-DimopoulosK #logic programming

Logic Programming without Negation as Failure (YD, ACK), pp. 369–383.

ILPS-1995-YouGYG #framework #logic programming #source code

An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.

ILPS-1995-LeoneS #declarative #fixpoint #modelling

Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.

ILPS-1995-BandaMS #analysis #logic programming #performance #scheduling #source code

Efficient Analysis of Logic Programs with Dynamic Scheduling (MJGdlB, KM, PJS), pp. 417–431.

ILPS-1995-Lindgren #analysis #control flow #prolog

Control Flow Analysis of Prolog (TL), pp. 432–446.

ILPS-1995-MarchioriT #logic programming #proving #source code #termination

Proving Termination of Logic Programs with Delay Declarations (EM, FT), pp. 447–461.

ILPS-1995-SorensenG #algorithm #supercompilation

An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.

ILPS-1995-LauOPP #correctness #logic programming #program transformation #termination

Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.

ILPS-1995-LeuschelM #deduction #representation

Partial Deduction of the Ground Representation and its Application to Integrity Checking (ML, BM), pp. 495–509.

ILPS-1995-PugetL #constraints

Beyond the Glass Box: Constraints as Objects (JFP, ML), pp. 513–527.

ILPS-1995-BoerG #concurrent #constraints #modelling #programming #realtime

Modelling Real-Time in Concurrent Constraint Programming (FSdB, MG), pp. 528–542.

ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis

A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.

ILPS-1995-CominiLM #abstraction #composition

Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.

ILPS-1995-MalfonF #approach #semantics #source code

Type Correct programs: A semantic approach (BM, GF), pp. 576–590.

ILPS-1995-Andrews #prolog #semantics

A Paralogical Semantics for the Prolog Cut (JHA), pp. 591–605.

ILPS-1995-Moss #logic

Logic and Objects (CM), pp. 609–611.

ILPS-1995-Kuchen #functional #implementation #logic programming

Implementation Issues for Functional Logic Programming (HK), pp. 612–613.

ILPS-1995-Millroth #parallel #trade-off

Tradeoffs Explicit and Omplicit Parallelism (HM), p. 614.

ILPS-1995-SchreyeLM #tutorial

Tutorial on Program Specialisation (DDS, ML, BM), pp. 615–616.

ILPS-1995-KuchenA #higher-order

Higher Order Babel (HK, JA), p. 633.

ILPS-1995-PedroM #approach #logic programming #verification

An Approach to Verification in Contextual Logic Programming (VP, LM), p. 634.

ILPS-1995-LevyR #logic #overview

Combining Rules and Description Logics: An Overview of CARIN (AYL, MCR), p. 635.

ILPS-1995-HarlandPW #overview #perspective #programming

Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.

ILPS-1995-GovindarajanJM #constraints #logic

Relaxation in Constraint Logic Languages (KG, BJ, SM), p. 637.

ILPS-1995-MessingS #logic programming #source code

Regular Signed Resolution Applied to Annotated Logic Programs (BM, PvS), p. 638.

ILPS-1995-Gurr #declarative #logic programming #source code

Declarative Annotations for Logic Programs (CAG), p. 639.

ILPS-1995-TseWL #concurrent #logic programming #object-oriented #programming language #prolog

P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language (MlT, WhW, HfL), p. 640.

ILPS-1995-BrimGJK

Synchronisation in Scc (LB, DRG, JMJ, MK), p. 641.

ILPS-1995-TarauDF #backtracking #continuation #linear

Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars (PT, VD, AF), p. 642.