Manuel V. Hermenegildo, S. Doaitse Swierstra
Proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs
PLILP-1995, 1995.

@proceedings{PLILP-1995,
	address       = "Utrecht, The Netherlands",
	editor        = "Manuel V. Hermenegildo and S. Doaitse Swierstra",
	isbn          = "3-540-60359-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs}",
	volume        = 982,
	year          = 1995,
}

Contents (34 items)

6 ×#functional
5 ×#implementation
4 ×#constraints
4 ×#logic programming
4 ×#multi
4 ×#performance
4 ×#source code
3 ×#logic
3 ×#programming
3 ×#semantics

PLILP-1995-Moor #process

A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.

PLILP-1995-Marriott #constraints #multi #parsing #visual notation

Parsing Visual Languages with Constraint Multiset Grammars (KM), pp. 24–25.

PLILP-1995-Jones #programming

Programming with Constructor Classes (MPJ), p. 26.

PLILP-1995-DouenceF #functional #implementation #taxonomy #towards

Towards a Taxonomy of Functional Languages Implementations (RD, PF), pp. 27–44.

PLILP-1995-KamareddineR #λ-calculus

A λ-calculus à la de Bruijn with Explicit Substitutions (FK, AR), pp. 45–62.

PLILP-1995-Fasbender #implementation

A Verified Implementation of Narrowing (HF), pp. 63–80.

PLILP-1995-ButowGOT #semantics

A New Strategy for Semantic Matching (BB, RG, EO, ST), pp. 81–96.

PLILP-1995-NakaharaMI #calculus #functional #higher-order #logic programming

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming (KN, AM, TI), pp. 97–114.

PLILP-1995-FreireHSW #parallel

Exploiting Parallelism in Tabled Evaluations (JF, RH, TS, DSW), pp. 115–132.

PLILP-1995-DawsonRR #design #implementation #logic programming #performance #source code

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs (SD, CRR, IVR), pp. 133–150.

PLILP-1995-MehlSS #automaton

An Abstract Machine for Oz (MM, RS, CS), pp. 151–168.

PLILP-1995-MycroftS #analysis

Uniform PERs and Comportment Analysis (AM, KLS), pp. 169–187.

PLILP-1995-BarendsenS #type inference

Uniqueness Type Inference (EB, SS), pp. 189–206.

PLILP-1995-MasseyT #analysis #array #comprehension

Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions (BCM, ET), pp. 207–222.

PLILP-1995-ChinK #deforestation

Better Consumers for Deforestation (WNC, SCK), pp. 223–240.

PLILP-1995-Mohnen #data type #garbage collection #performance

Efficient Compile-Time Garbage Collection for Arbitrary Data Structures (MM), pp. 241–258.

PLILP-1995-GluckJ #generative #multi #performance

Efficient Multi-level Generating Extensions for Program Specialization (RG, JJ), pp. 259–278.

PLILP-1995-Hatcliff #correctness #verification

Mechanically Verifying the Correctness of an Offline Partial Evaluator (JH), pp. 279–298.

PLILP-1995-HengleinS #partial evaluation #semantics

A Semantic Model of Binding Times for Safe Partial Evaluation (FH, DS), pp. 299–320.

PLILP-1995-NobleR #component #functional #lazy evaluation #named #user interface #visual notation

Gadgets: Lazy Functional Components for Graphical User Interfaces (RN, CR), pp. 321–340.

PLILP-1995-VullinghsTS #functional #lightweight #programming #user interface

Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.

PLILP-1995-McEvoyH #linear #locality #logic #multi

Local Linear Logic for Locality Consciousness in Multiset Transformation (HM, PHH), pp. 357–379.

PLILP-1995-Rety #revisited

The Notion of Floundering for SLDNF-Resolution Revisited (JHR), pp. 380–396.

PLILP-1995-Arenas-SanchezD #set #unification

Minimal Set Unification (PAS, AD), pp. 397–414.

PLILP-1995-ShimajiriSI #database #logic #query

Goal-Directed Query Processing in Disjunctive Logic Databases (YS, HS, HI), pp. 415–430.

PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code

A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.

PLILP-1995-Achten #framework #functional #interactive #source code

A Functional Framework for Deterministically Interleaved Interactive Programs (PA), pp. 451–452.

PLILP-1995-Arenas-SanchezG #debugging #lazy evaluation

A Debugging Model for Lazy Narrowing (PAS, AGL), pp. 453–454.

PLILP-1995-BurguesF #evaluation #framework #multi #paradigm

Evaluation of Expressions in a Multiparadigm Framework (XBI, XF), pp. 455–456.

PLILP-1995-HansSW #functional #implementation #logic

An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.

PLILP-1995-MeristeP #execution #modelling #specification

Attributed Models of Executable Specifications (MM, JP), pp. 459–460.

PLILP-1995-SaglamG #approximate #constraints #logic programming #polymorphism #source code #using

Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions (HS, JPG), pp. 461–462.

PLILP-1995-TongL #concurrent #constraints #performance #programming

Performance of A Data-Parallel Concurrent Constraint Programming System (BMT, HfL), pp. 463–464.

PLILP-1995-Wunderwald #evaluation #implementation

A Portable Implementation of Memoing Evaluation (JEW), pp. 465–466.