Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming
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, Jaan Penjam
Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming
PLILP, 1994.

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

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.

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.