Herbert Kuchen, S. Doaitse Swierstra
Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs
PLILP, 1996.

@proceedings{PLILP-1996,
	address       = "Aachen, Germany",
	editor        = "Herbert Kuchen and S. Doaitse Swierstra",
	isbn          = "3-540-61756-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs}",
	volume        = 1140,
	year          = 1996,
}

Contents (36 items)

6 ×#logic programming
4 ×#constraints
4 ×#implementation
4 ×#prolog
4 ×#source code
3 ×#concurrent
3 ×#programming
3 ×#scheduling
3 ×#using
2 ×#deduction

PLILP-1996-Meertens #exclamation

Calculate Polytypically! (LGLTM), pp. 1–16.

PLILP-1996-Kahrs

Limits of ML-Definability (SK), pp. 17–31.

PLILP-1996-BelleJM #ml

Functorial ML (GB, CBJ, EM), pp. 32–46.

PLILP-1996-LouvetR #morphism #parametricity #polymorphism #prolog

Parametric Polymorphism for Typed Prolog and λ-Prolog (PL, OR), pp. 47–61.

PLILP-1996-Mateos-LagoR #algebra #inheritance #specification

GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies (JML, MRA), pp. 62–76.

PLILP-1996-BandaBH #independence #towards

Towards Independent And-Parallelism in CLP (MJGdlB, FB, MVH), pp. 77–91.

PLILP-1996-WeyerW #analysis #graph #prolog

Annotated Structure Shape Graphs for Abstract Analysis of Prolog (GW, WHW), pp. 92–106.

PLILP-1996-Bagnara #implementation #using

A Reactive Implementation of Pos Using ROBDDs (RB), pp. 107–121.

PLILP-1996-ParigotRJD #attribute grammar

Dynamic Attribute Grammars (DP, GR, MJ, ÉD), pp. 122–136.

PLILP-1996-LeuschelS #how #logic programming

Logic Program Specialisation: How To Be More Specific (ML, DDS), pp. 137–151.

PLILP-1996-GluckJMS #deduction

Controlling Conjunctive Partial Deduction (RG, JJ, BM, MHS), pp. 152–166.

PLILP-1996-FrancescoS #concurrent #process

Unfold/Fold Transformations of Concurrent Processes (NDF, AS), pp. 167–181.

PLILP-1996-DanvyV #case study #compilation #partial evaluation #semantics

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.

PLILP-1996-Thiemann #implementation #partial evaluation

Implementing Memoization for Partial Evaluation (PT), pp. 198–212.

PLILP-1996-Hamilton #deforestation #higher-order

Higher Order Deforestation (GWH), pp. 213–227.

PLILP-1996-Kessler #graph #scheduling

Scheduling Expression DAGs for Minimal Register Need (CWK), pp. 228–242.

PLILP-1996-FreireSW #logic programming #scheduling #source code

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.

PLILP-1996-Li #approach #implementation #prolog

Program Sharing: A New Implementation Approach for Prolog (XL), pp. 259–273.

PLILP-1996-Gorlatch #divide and conquer #implementation #parallel

Systematic Extraction and Implementation of Divide-and-Conquer Parallelism (SG), pp. 274–288.

PLILP-1996-GalanPP #functional #process

Functional Skeletons Generate Process Topologies in Eden (LAG, CP, RP), pp. 289–303.

PLILP-1996-GehrkeH #execution #named #specification

ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.

PLILP-1996-FernandezM #interactive #term rewriting

From Term Rewriting to Generalised Interaction Nets (MF, IM), pp. 319–333.

PLILP-1996-AponteC #morphism

Type Isomorphisms for Module Signatures (MVA, RDC), pp. 334–346.

PLILP-1996-Ruggieri #decidability #logic programming #semantics #testing

Decidability of Logic Program Semantics and Applications to Testing (SR), pp. 347–362.

PLILP-1996-Scholz #concurrent #constraints #framework #functional #named #programming #user interface

PIDGETS — Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming (ES), pp. 363–377.

PLILP-1996-KamareddineR

Generalized β-Reduction and Explicit Substitution (FK, AR), pp. 378–392.

PLILP-1996-BenaissaLR #modelling #recursion #reduction #using

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution (ZEAB, PL, KHR), pp. 393–407.

PLILP-1996-Lucas #confluence #source code

Context-Sensitive Computations in Confluent Programs (SL), pp. 408–422.

PLILP-1996-StuckeyT #constraints #logic programming #modelling #probability #theorem proving #using

Models for Using Stochastic Constraint Solvers in Constraint Logic Programming (PJS, VT), pp. 423–437.

PLILP-1996-RoyMS #concurrent #constraints #performance #programming

Integrating Efficient Records into Concurrent Constraint Programming (PVR, MM, RS), pp. 438–453.

PLILP-1996-Liu #database #deduction #programming language

The LOL Deductive Database Programming Language (ML), pp. 454–468.

PLILP-1996-Fecht #logic programming #performance #precise #source code

An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.

PLILP-1996-HuIT

Cheap Tupling in Calculational Form (ZH, HI, MT), pp. 471–472.

PLILP-1996-Antoy #prolog

Needed Narrowing in Prolog (SA), pp. 473–474.

PLILP-1996-PueblaH #automation #logic programming #optimisation #scheduling #source code

Automatic Optimization of Dynamic Scheduling in Logic Programs (GP, MVH), pp. 475–476.

PLILP-1996-Schulte #constraints #programming #visual notation

Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 477–478.