LEADER 05566nam 22007215 450 001 9910144918603321 005 20200702033845.0 010 $a3-540-69537-0 024 7 $a10.1007/BFb0033832 035 $a(CKB)1000000000234700 035 $a(SSID)ssj0000325932 035 $a(PQKBManifestationID)11253578 035 $a(PQKBTitleCode)TC0000325932 035 $a(PQKBWorkID)10265290 035 $a(PQKB)10503289 035 $a(DE-He213)978-3-540-69537-0 035 $a(PPN)15517245X 035 $a(EXLCZ)991000000000234700 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages: Implementations, Logics, and Programs$b[electronic resource] $e9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /$fedited by Hugh Glaser, Peter Hartel, Herbert Kuchen 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XI, 428 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1292 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63398-7 327 $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. 330 $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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1292 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 676 $a005.13/3 702 $aGlaser$b Hugh$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHartel$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKuchen$b Herbert$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPLILP '97 906 $aBOOK 912 $a9910144918603321 996 $aProgramming Languages: Implementations, Logics, and Programs$92257564 997 $aUNINA