Proceedings of the Seventh 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

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

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

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.

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.