Tools

LEADER 03831cam 2200385 a 4500

001 ocm35183895;

003 OCoLC;

005 20141212122853.0;

008 960723s1996 gw a b 101 0 eng ;

010 a| 96027490;

020 a| 3540615806 (alk. paper);

035 a| (Sirsi) o35183895;

035 a| (OCoLC)35183895;

049 a| EREE;

050 00 a| QA76.76.E93b| P37 1996;

082 00 a| 005.13/12| 20;

245 00 a| Partial evaluation :b| international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /c| Olivier Danvy, Robert Glück, Peter Thiemann (eds.).;

300 a| xii, 514 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1110;

504 a| Includes bibliographical references and indexes.;

505 0 a| 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 ... [et al.] -- 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 Glück, Morten Heine Sørensen -- Reasoning about hierarchies of online program specialization systems / John Hatcliff, Robert Glück -- 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 -- 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.;

650 0 a| Computer softwarex| Evaluationv| Congresses.=| ^A233468;

650 0 a| Software maintenancev| Congresses.=| ^A1242745;

700 1 a| Danvy, Olivier.=| ^A383558;

700 1 a| Glück, R.q| (Robert),d| 1961-=| ^A383559;

700 1 a| Thiemann, P.q| (Peter),d| 1964-=| ^A383560;

830 0 a| Lecture notes in computer sciencev| 1110.=| ^A466336;

596 a| 1;

998 a| 606595;

999 a| QA76.76.E93 P37 1996w| LCc| 1i| 30372009830438d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/9/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy, Robert Glück, Peter Thiemann (eds.).

Other author	Danvy, Olivier.
Other author	Glück, R. (Robert), 1961-
Other author	Thiemann, P. (Peter), 1964-
Format	Book
Publication Info	Berlin : New York : Springer, ©1996.
Description	xii, 514 pages : illustrations ; 24 cm.
Subjects	Computer software--Evaluation. --Congresses. Software maintenance--Congresses.

Series	Lecture notes in computer science ; 1110 Lecture notes in computer science 1110. ^A466336
Contents	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 ... [et al.] -- 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 Glück, Morten Heine Sørensen -- Reasoning about hierarchies of online program specialization systems / John Hatcliff, Robert Glück -- 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 -- 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.
Bibliography note	Includes bibliographical references and indexes.
LCCN	96027490
ISBN	3540615806 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.E93 P37 1996	✔ Available	Place Hold

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers / Olivier Danvy, Robert Glück, Peter Thiemann (eds.).

Click here for more information about this title

Availability