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 Mitarbeit:Glaser, Hugh; Hartel, Peter; Kuchen, Herbert
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 Mitarbeit:Glaser, Hugh; Hartel, Peter; Kuchen, Herbert
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…mehr
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.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
Produktdetails
Lecture Notes in Computer Science 1292
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
Artikelnr. des Verlages: 978-3-540-63398-3
1997.
Seitenzahl: 444
Erscheinungstermin: 13. August 1997
Englisch
Abmessung: 235mm x 155mm x 24mm
Gewicht: 582g
ISBN-13: 9783540633983
ISBN-10: 3540633987
Artikelnr.: 09229355
Herstellerkennzeichnung
Books on Demand GmbH
In de Tarpen 42
22848 Norderstedt
info@bod.de
040 53433511
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
Wir verwenden Cookies und ähnliche Techniken, um unsere Website für Sie optimal zu gestalten und Ihr Nutzererlebnis fortlaufend zu verbessern. Ihre Einwilligung durch Klicken auf „Alle Cookies akzeptieren“ können Sie jederzeit widerrufen oder anpassen. Bei „Nur notwendige Cookies“ werden die eingesetzten Techniken, mit Ausnahme derer, die für den Betrieb der Seite unerlässlich sind, nicht aktiviert. Weitere Informationen finden Sie unter „Datenschutzerklärung“.