LEADER 04548nam 22005655 450 001 996465629103316 005 20200705183003.0 010 $a3-540-70589-9 024 7 $a10.1007/3-540-61580-6 035 $a(CKB)1000000000234503 035 $a(SSID)ssj0000325557 035 $a(PQKBManifestationID)11243694 035 $a(PQKBTitleCode)TC0000325557 035 $a(PQKBWorkID)10324160 035 $a(PQKB)11757305 035 $a(DE-He213)978-3-540-70589-5 035 $a(PPN)155208691 035 $a(EXLCZ)991000000000234503 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPartial Evaluation$b[electronic resource] $eInternational Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers /$fedited by Olivier Danvy, Robert Glück, Peter Thiemann 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XII, 520 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1110 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61580-6 327 $aAn automatic interprocedural analysis for the understanding of scientific application programs -- Practical aspects of specialization of Algol-like programs -- Synchronization analyses for multiple recursion parameters -- A uniform approach for compile-time and run-time specialization -- Pragmatics of type-directed partial evaluation -- Compiler generation for interactive graphics using intermediate code -- Regular approximation of computation paths in logic and functional languages -- A roadmap to metacomputation by supercompilation -- Reasoning about hierarchies of online program specialization systems -- Type specialisation for the ?-calculus; or, a new paradigm for partial evaluation based on type inference -- What not to do when writing an interpreter for specialisation -- Efficiently generating efficient generating extensions in prolog -- Global control for partial deduction through characteristic atoms and global trees -- Squeezing intermediate construction in equational programs -- Evolution of partial evaluators: Removing inherited limits -- A Self-Applicable supercompiler -- Multi-Level Lambda-Calculi: An algebraic description -- A comparative revisitation of some program transformation techniques -- A theory of logic program specialization and generalization for dealing with input data properties -- Program specialization via program slicing -- Specialization of imperative programs through analysis of relational expressions -- ML pattern match compilation and partial evaluation -- Self-applicable online partial evaluation -- Metacomputation: Metasystem transitions plus supercompilation. 330 $aPartial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1110 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.13/1 702 $aDanvy$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGlück$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThiemann$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465629103316 996 $aPartial evaluation$91487633 997 $aUNISA