Proceedings of the Eighth International Symposium on Programming Languages: Implementations, Logics and Programs
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

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

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.