+612 9045 4394
 
CHECKOUT
Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, Plilp '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, Uk, September 3-5, 1997. Proceedings - Hugh Glaser

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, Plilp '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, Uk, September 3-5, 1997. Proceedings

By: Hugh Glaser (Editor), Peter Hartel (Editor), Herbert R. Kuchen (Editor)

Paperback

Published: 13th August 1997
Ships: 15 business days
15 business days
$147.02
or 4 easy payments of $36.76 with Learn more
if ordered within

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

Narrowing the Narrowing Spacep. 1
An Object Calculus with Algebraic Rewritingp. 17
Inheritance and Selective Method Dispatching in Concurrent Haskellp. 33
Overriding Operators in a Mixin-Based Frameworkp. 47
Resolution for Logic Programming with Universal Quantifiersp. 63
A Declarative Approach to Concurrent Programmingp. 79
Transformation of Divide and Conquer to Nested Parallel Loopsp. 95
Transforming Lazy Functions Using Comportment Propertiesp. 111
Transformations for Efficient Evaluations in Functional Programmingp. 127
Inline Expansion: When and How?p. 143
Higher-Order Value Flow Graphsp. 159
Intuitionistic Implication in Abstract Interpretationp. 175
An Open-Ended Finite Domain Constraint Solverp. 191
Semantics and Compilation of Recursive Sequential Streams in 8 1/2p. 207
Implementation of Term Rewritings with the Evaluation Strategyp. 225
Reflections on Reflectionsp. 241
Evaluation under Lambda Abstractionp. 259
Selective Recomputation for Handling Side-Effects in Parallel Logic Programsp. 275
Tracing Lazy Functional Computations Using Redex Trailsp. 291
Functional Programming and Geometryp. 309
Where do I begin? A Problem Solving Approach in Teaching Functional Programmingp. 323
Teaching Functional and Logic Programming with a Single Computation Modelp. 335
Logic Implemented Functionallyp. 351
DrScheme: A Pedagogic Programming Environment for Schemep. 369
An Editor for Helping Novices to Learn Standard MLp. 389
Introducing the Declarative Dungeonp. 407
A Pragmatic Approach to Compilation of Erlangp. 419
Formal Translations Described by Translation Grammars with LR(k) Input Grammarsp. 421
Automatic Run-Time Code Generation in Object-Oriented Languagesp. 423
Author indexp. 425
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540633983
ISBN-10: 3540633987
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 428
Published: 13th August 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.29
Weight (kg): 0.62