• Produktbild: Programming Languages: Implementations, Logics, and Programs
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
Band 1292

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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1997

Abbildungen

XI, 428 p.

Herausgeber

Hugh Glaser + weitere

Verlag

Springer Berlin

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63398-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.08.1997

Abbildungen

XI, 428 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

428

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63398-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Programming Languages: Implementations, Logics, and Programs
  • Produktbild: Programming Languages: Implementations, Logics, and Programs
  • 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.