04493nam a22005535i 4500001001800000003000900018005001700027007001500044008004100059020001800100024002800118050001700146050001600163072001600179072001600195072002300211072002300234082001500257245031400272264006100586300003300647336002600680337002600706338003600732347002400768490005800792505161500850520079802465650002203263650002603285650005003311650002003361650002403381650002903405650002203434650005203456650002803508650003703536650004503573650004603618700002703664700002903691700003003720710003403750773002003784776003603804830005803840856004103898978-3-540-69537-0DE-He21320170515111448.0cr nn 008mamaa121227s1997 gw | s |||| 0|eng d a97835406953707 a10.1007/BFb00338322doi 4aQA76.7-76.73 4aQA76.76.C65 7aUMX2bicssc 7aUMC2bicssc 7aCOM0510102bisacsh 7aCOM0100002bisacsh04a005.1322310aProgramming Languages: Implementations, Logics, and Programsh[electronic resource] :b9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings /cedited by Hugh Glaser, Pieter Hartel, Herbert Kuchen. 1aBerlin, Heidelberg :bSpringer Berlin Heidelberg,c1997. aXI, 428 p.bonline resource. atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier atext filebPDF2rda1 aLecture Notes in Computer Science,x0302-9743 ;v12920 aNarrowing 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. aThis 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. 0aComputer science. 0aComputer programming. 0aProgramming languages (Electronic computers). 0aComputer logic. 0aMathematical logic. 0aArtificial intelligence.14aComputer Science.24aProgramming Languages, Compilers, Interpreters.24aProgramming Techniques.24aLogics and Meanings of Programs.24aMathematical Logic and Formal Languages.24aArtificial Intelligence (incl. Robotics).1 aGlaser, Hugh.eeditor.1 aHartel, Pieter.eeditor.1 aKuchen, Herbert.eeditor.2 aSpringerLink (Online service)0 tSpringer eBooks08iPrinted edition:z9783540633983 0aLecture Notes in Computer Science,x0302-9743 ;v129240uhttp://dx.doi.org/10.1007/BFb0033832