Manuel V. Hermenegildo, Jaan Penjam
Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming
PLILP, 1994.

@proceedings{PLILP-1994,
	address       = "Madrid, Spain",
	editor        = "Manuel V. Hermenegildo and Jaan Penjam",
	isbn          = "3-540-58402-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming}",
	volume        = 844,
	year          = 1994,
}

Contents (41 items)

7 ×#constraints
5 ×#implementation
5 ×#using
4 ×#functional
4 ×#logic
4 ×#performance
4 ×#source code
3 ×#compilation
3 ×#logic programming
3 ×#named

PLILP-1994-Palamidessi #concurrent #constraints #programming

Concurrent Constraint Programming (CP), pp. 1–2.

PLILP-1994-Miller #logic programming #multi #source code #specification #using

Specifications Using Multiple-Conclusion Logic Programs (DM), pp. 3–4.

PLILP-1994-Paige #program transformation

Viewing A Program Transformation System At Work (RP), pp. 5–24.

PLILP-1994-ChikayamaFS #implementation #performance

A Portable and Efficient Implementation of KL1 (TC, TF, DS), pp. 25–39.

PLILP-1994-Smith #multi #why

Why Multi-SLD Beats SLD (Even on a Uniprocessor) (DAS), pp. 40–56.

PLILP-1994-ZffanellaGL #concurrent #constraints #programming

Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.

PLILP-1994-TarauN #data transformation #novel #representation

A Novel Term Compression Scheme and Data Representation in the BinWAM (PT, UN), pp. 73–87.

PLILP-1994-BevemyrL #garbage collection #performance #prolog

A Simple and Efficient Copying Garbage Collector for Prolog (JB, TL), pp. 88–101.

PLILP-1994-Schulte #garbage collection

Deriving Residual Reference Count Garbage Collectors (WS), pp. 102–116.

PLILP-1994-Pettersson #implementation #named #semantics

RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.

PLILP-1994-HamelG #compilation #towards

Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.

PLILP-1994-Voronkov #bottom-up #implementation

An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.

PLILP-1994-GluckS #deduction

Partial Deduction and Driving are Equivalent (RG, MHS), pp. 165–181.

PLILP-1994-MoreauQ #continuation #difference

Partial Continuations as the Difference of Continuations — A Duumvirate of Control Operators (LM, CQ), pp. 182–197.

PLILP-1994-BirkedalW #generative

Hand-Writing Program Generator Generators (LB, MW), pp. 198–214.

PLILP-1994-BugliesiJ #encapsulation #logic #object-oriented

A Logic for Encapsulation in Object Oriented Languages (MB, HMJ), pp. 215–229.

PLILP-1994-Fruhwirth #constraints #logic programming #reasoning

Annotated Constraint Logic Programming Applied to Temporal Reasoning (TWF), pp. 230–243.

PLILP-1994-CodognetD #constraints #performance #theorem proving

clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving (PC, DD), pp. 244–260.

PLILP-1994-FagesFS #constraints #logic programming #optimisation #relational

Handling Preferences in Constraint Logic Programming with Relational Optimization (FF, JF, TS), pp. 261–276.

PLILP-1994-BreitingerL #scheduling

Improving Search for Job-Shop Scheduling with CLP(FD) (SB, HCRL), pp. 277–291.

PLILP-1994-BrogiCMMPRT #composition #implementation

Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.

PLILP-1994-CodognetCLQ #named

Sleepers: A Versatile High-Level Control Mechanism (CC, PC, VL, MQ), pp. 308–323.

PLILP-1994-MetzemakersMSS #performance #using

Improving Arithmetic Performance using Fine-Grain Unfolding (TM, AM, DS, RS), pp. 324–339.

PLILP-1994-GergatsoulisK #source code

Unfold/Fold Transformations For Definite Clause Programs (MG, MK), pp. 340–354.

PLILP-1994-MaraistS #functional #graph #reduction

A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages (JM, FSKS), pp. 355–369.

PLILP-1994-Hanus #lazy evaluation

Combining Lazy Narrowing and Simplification (MH), pp. 370–384.

PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation

Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.

PLILP-1994-JanssensBE

Abstracting Numerical Values in CLP(H, N) (GJ, MB, VE), pp. 400–414.

PLILP-1994-FieldT #dependence #slicing #term rewriting

Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing (JF, FT), pp. 415–431.

PLILP-1994-BoulangerBD #approach #using

Abstracting s-semantincs Using A Model-Theoretic Approach (DB, MB, MD), pp. 432–446.

PLILP-1994-Serrano #analysis #compilation #control flow #functional #higher-order #using

Using Higher-Order Control Flow Analysis When Compiling Functional Languages (MS), pp. 447–448.

PLILP-1994-KluzniakM #requirements #specification

Readable, Runnable Requirements Specifications in SPILL-2 (FK, MM), pp. 449–450.

PLILP-1994-Leal #prolog #source code #visualisation

A System to Visualize and Interact with Prolog Programs (JPL), pp. 451–452.

PLILP-1994-HundehegeLX #hybrid #memory management #optimisation #program transformation #runtime #semantics

Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.

PLILP-1994-Grivas #compilation #constraints #functional #logic #symbolic computation #towards

Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.

PLILP-1994-RodriguesB #logic #named #programming

PROMAL — Programming in Modal Action Logic (OR, MRFB), pp. 457–458.

PLILP-1994-Bsaies #implementation #synthesis

Implementing the Synthesis of Properties in Unfold/Fold Transformations (KB), pp. 459–460.

PLILP-1994-SaenzHRW #memory management #specification

Shared Memory System for Babel: a VHDL Specification (FS, WH, JJR, SW), pp. 461–462.

PLILP-1994-BelkhirN #functional #logic #towards #using

Towards Integrating Functional and Logic Styles Using Relation (AB, NN), pp. 463–464.

PLILP-1994-Barklund #source code

Tabulation of Functions in Definite Clause Programs (JB), pp. 465–466.

PLILP-1994-Mantsivoda

Flang System: A new Version (AM), pp. 467–468.