Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007426583/catalog> ?p ?o. }

• catalog abstract ""Partial 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."--PUBLISHER'S WEBSITE.".
• catalog contributor b10251639.
• catalog contributor b10251640.
• catalog contributor b10251641.
• catalog created "c1996.".
• catalog date "1996".
• catalog date "c1996.".
• catalog dateCopyrighted "c1996.".
• catalog description ""Partial 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."--PUBLISHER'S WEBSITE.".
• catalog description "A comparative revisitation of some program transformation techniques ; A theory of logic program specialization and generalization for dealing with input data properties / Alberto Pettorossi, Maruizio Proietti -- Program specialization via program slicing / Thomas Reps, Todd Turnidge -- Specialization of imperative programs through analysis of relational expressions / Alexander Sakharov -- ML pattern match compilation and partial evaluation / Peter Sestoft -- Self-applicable online partial evaluation / Michael Sperber -- Metacomputation : metasystem transitions plus supercompilation / Valentin F. Turchin.".
• catalog description "An automatic interprocedural analysis for the understanding of scientific application programs / Sandrine Blazy, Philippe Facon -- Practical aspects of specialization of algol-like programs / Mikhail A. Bulyonkov, Dmitriy V. Kochetov -- Synchronization analyses for multiple recursion parameters / Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann -- A uniform approach for compile-time and run-time specialization / Charles Consel [and others] -- Pragmatics of type-directed partial evaluation / Olivier Danvy -- Compiler generation for interactive graphics using intermediate code / Scott Draves -- Regular approximation of computation paths in logic and functional languages / John P. Gallagher, Laura Lafave -- A roadmap to metacomputation by supercompilation / Robert Glück, Morten Heine Sørensen -- Reasoning about hierarchies of online program specialization systems / John Hatcliff, Robert Glück -- ".
• catalog description "Includes bibliographical references and indexes.".
• catalog description "Type specialisation for the [lambda] calculus; or, a new paradigm for partial evaluation based on type inference / John Hughes -- What not to do when writing an interpreter for specialisation / Neil D. Jones -- Efficiently generating efficient generating extensions in Prolog / Jesper Jørgensen, Michael Leuschel -- Global control for partial deduction, through characteristic atoms and global trees / Michael Leuschel, Bern Martens -- Squeezing intermediate construction in equational programs / Alain Miniussi, David J. Sherman -- Evolution of partial evaluators : removing inherited limits / Torben Æ. Mogensen -- A self-applicable supercomputer / Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin -- Multi-level lambda-calculi : an algebraic description / Flemming Nielson, Hanne Riis Nielson -- ".
• catalog extent "xii, 514 p. :".
• catalog hasFormat "Partial evaluation.".
• catalog identifier "3540615806 (alk. paper)".
• catalog isFormatOf "Partial evaluation.".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1110".
• catalog issued "1996".
• catalog issued "c1996.".
• catalog language "eng".
• catalog publisher "Berlin : New York : Springer,".
• catalog relation "Partial evaluation.".
• catalog subject "005.13/1 20".
• catalog subject "Computer software Evaluation Congresses.".
• catalog subject "QA76.76.E93 P37 1996".
• catalog subject "Software maintenance Congresses.".
• catalog tableOfContents "A comparative revisitation of some program transformation techniques ; A theory of logic program specialization and generalization for dealing with input data properties / Alberto Pettorossi, Maruizio Proietti -- Program specialization via program slicing / Thomas Reps, Todd Turnidge -- Specialization of imperative programs through analysis of relational expressions / Alexander Sakharov -- ML pattern match compilation and partial evaluation / Peter Sestoft -- Self-applicable online partial evaluation / Michael Sperber -- Metacomputation : metasystem transitions plus supercompilation / Valentin F. Turchin.".
• catalog tableOfContents "An automatic interprocedural analysis for the understanding of scientific application programs / Sandrine Blazy, Philippe Facon -- Practical aspects of specialization of algol-like programs / Mikhail A. Bulyonkov, Dmitriy V. Kochetov -- Synchronization analyses for multiple recursion parameters / Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann -- A uniform approach for compile-time and run-time specialization / Charles Consel [and others] -- Pragmatics of type-directed partial evaluation / Olivier Danvy -- Compiler generation for interactive graphics using intermediate code / Scott Draves -- Regular approximation of computation paths in logic and functional languages / John P. Gallagher, Laura Lafave -- A roadmap to metacomputation by supercompilation / Robert Glück, Morten Heine Sørensen -- Reasoning about hierarchies of online program specialization systems / John Hatcliff, Robert Glück -- ".
• catalog tableOfContents "Type specialisation for the [lambda] calculus; or, a new paradigm for partial evaluation based on type inference / John Hughes -- What not to do when writing an interpreter for specialisation / Neil D. Jones -- Efficiently generating efficient generating extensions in Prolog / Jesper Jørgensen, Michael Leuschel -- Global control for partial deduction, through characteristic atoms and global trees / Michael Leuschel, Bern Martens -- Squeezing intermediate construction in equational programs / Alain Miniussi, David J. Sherman -- Evolution of partial evaluators : removing inherited limits / Torben Æ. Mogensen -- A self-applicable supercomputer / Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin -- Multi-level lambda-calculi : an algebraic description / Flemming Nielson, Hanne Riis Nielson -- ".
• catalog title "Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy, Robert Glück, Peter Thiemann (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Dagstuhl (1996) swd".
• catalog type "text".