Hugh Glaser, Pieter H. Hartel, Herbert Kuchen
Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics and Programs
PLILP, 1997.

@proceedings{PLILP-1997,
	address       = "Southampton, England, United Kingdom",
	editor        = "Hugh Glaser and Pieter H. Hartel and Herbert Kuchen",
	isbn          = "3-540-63398-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics and Programs}",
	volume        = 1292,
	year          = 1997,
}

Contents (29 items)

5 ×#functional
5 ×#programming
3 ×#approach
3 ×#logic programming
2 ×#compilation
2 ×#concurrent
2 ×#declarative
2 ×#education
2 ×#evaluation
2 ×#lazy evaluation

PLILP-1997-AntoyA

Narrowing the Narrowing Space (SA, ZMA), pp. 1–15.

PLILP-1997-CompagnoniF #algebra #calculus #on the

On Object Calculus with Algebraic Rewriting (ABC, MF), pp. 17–31.

PLILP-1997-GallardoGR #concurrent #haskell #inheritance

Inheritance and Selective Methods Dispatching in Concurrent Haskell (JEG, FG, BCR), pp. 33–46.

PLILP-1997-AnconaZ #framework #mixin

Overriding Operators in a Mixin-Based Framework (DA, EZ), pp. 47–61.

PLILP-1997-BowersHI #logic programming #quantifier

Resolution for Logic Programming with Universal Quantifiers (AFB, PMH, FI), pp. 63–77.

PLILP-1997-Gregory #approach #concurrent #declarative #programming

A Declarative Approach to Concurrent Programming (SG), pp. 79–93.

PLILP-1997-HerrmannL #parallel

Transformation of Divide & Conquer to Nested Parallel Loops (CAH, CL), pp. 95–109.

PLILP-1997-Patterson #lazy evaluation #using

Transforming Lazy Functions Using Comportment Properties (RP), pp. 111–125.

PLILP-1997-Lucas #functional #performance #programming

Transformations for Efficient Evaluations in Functional Programming (SL), pp. 127–141.

PLILP-1997-Serrano #how #question

Inline Expansion: When and How? (MS), pp. 143–157.

PLILP-1997-Mossin #graph #higher-order

Higher-Order Value Flow Graphs (CM), pp. 159–173.

PLILP-1997-GiacobazziS #abstract interpretation

Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.

PLILP-1997-CarlssonOC #constraints #finite #theorem proving

An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.

PLILP-1997-GiavittoVM #compilation #recursion #semantics

Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.

PLILP-1997-OgataF #evaluation #implementation #term rewriting

Implementation of Term Rewritings with the Evaluation Strategy (KO, KF), pp. 225–239.

PLILP-1997-BartheHS

Reflections on Reflections (GB, JH, MHS), pp. 241–258.

PLILP-1997-Xi #abstraction #evaluation

Evaluation Under λ Abstraction (HX), pp. 259–273.

PLILP-1997-HuangSS #logic programming #parallel #source code

Selective Recomputation for Handling Side-Effects in Parallel Logic Programs (ZH, CS, AS), pp. 275–289.

PLILP-1997-SparudR #functional #lazy evaluation #using

Tracing Lazy Functional Computations Using Redex Trails (JS, CR), pp. 291–308.

PLILP-1997-Cousineau #functional #geometry #programming

Functional Programming and Geometry (GC), pp. 309–322.

PLILP-1997-Thompson #approach #education #functional #problem #programming

Where Do I Begin? A Problem Solving Approach in teaching Functional Programming (SJT), pp. 323–334.

PLILP-1997-Hanus #education #functional #logic programming

Teaching Functional and Logic Programming with a Single Computational Model (MH), pp. 335–350.

PLILP-1997-EisingerGP #logic

Logic Implemented Functionally (NE, TG, SP), pp. 351–368.

PLILP-1997-FindlerFFKF #named #programming

DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.

PLILP-1997-WhittleBL #editing #ml #standard

An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.

PLILP-1997-Roure #declarative

Introducing the Declarative Dungeon (DDR), pp. 407–417.

PLILP-1997-JohanssonJLBM #approach #compilation #erlang

A Pragmatic Approach to Compilation of Erlang (EJ, CJ, TL, JB, HM), pp. 419–420.

PLILP-1997-JanousekM #lr

Formal Translations Described by Translation Grammars with LR(k) Input Grammars (JJ, BM), pp. 421–422.

PLILP-1997-Fujinami #automation #code generation #object-oriented #runtime

Automatic Run-Time Code Generation in Object-Oriented Languages (NF), pp. 423–424.