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

Häftad, Engelska, 1997

Av Hugh Glaser, Peter Hartel, Herbert Kuchen

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This volume presents 25 revised papers from the ninth International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '97. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in constructing real programs. Topics covered include: implementation of declarative concepts; integration of paradigms; program analysis and transformation; programming environments; executable specifications; and reasoning about language constructs.

Produktinformation

Utgivningsdatum1997-08-13
Mått155 x 235 x 24 mm
Vikt668 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor428
Upplaga1997
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540633983

Tillhör följande kategorier

Programspråk inom Data och it
Programmeringsböcker inom Data och it
Systemvetenskap och AI inom Data och it
Artificiell intelligens inom Data och it

Narrowing the narrowing space.- An object calculus with algebraic rewriting.- Inheritance and selective method dispatching in concurrent Haskell.- Overriding operators in a mixin-based framework.- Resolution for logic programming with universal quantifiers.- A declarative approach to concurrent programming.- Transformation of divide & conquer to nested parallel loops.- Transforming lazy functions using comportment properties.- Transformations for efficient evaluations in functional programming.- Inline expansion: When and how?.- Higher-order value flow graphs.- Intuitionistic implication in abstract interpretation.- An open-ended finite domain constraint solver.- Semantics and compilation of recursive sequential streams in 81/2.- Implementation of term rewritings with the evaluation strategy.- Reflections on reflections.- Evaluation under lambda abstraction.- Selective recomputation for handling side-effects in parallel logic programs.- Tracing lazy functional computations using redex trails.- Functional programming and geometry.- Where do I begin? A problem solving approach in teaching functional programming.- Teaching functional and logic programming with a single computation model.- Logic implemented functionally.- DrScheme: A pedagogic programming environment for scheme.- An editor for helping novices to learn standard ML.- Introducing the declarative dungeon.- A pragmatic approach to compilation of Erlang.- Formal translations described by translation grammars with LR(k) input grammars.- Automatic run-time code generation in object-oriented languages.