## 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)

- 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.

20 ×#logic programming

10 ×#source code

6 ×#constraints

6 ×#semantics

4 ×#approach

4 ×#declarative

4 ×#modelling

4 ×#tutorial

3 ×#functional

3 ×#implementation

10 ×#source code

6 ×#constraints

6 ×#semantics

4 ×#approach

4 ×#declarative

4 ×#modelling

4 ×#tutorial

3 ×#functional

3 ×#implementation