000			04039nam a22004815i 4500
001			978-3-540-70589-5
003			DE-He213
005			20160624102102.0
007			cr nn 008mamaa
008			121227s1996 gw | s |||| 0|eng d
020			_a9783540705895 _9978-3-540-70589-5
024	7		_a10.1007/3-540-61580-6 _2doi
050		4	_aQA76.6-76.66
072		7	_aUM _2bicssc
072		7	_aCOM051000 _2bisacsh
082	0	4	_a005.11 _223
245	1	0	_aPartial Evaluation _h[electronic resource] : _bInternational Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers / _cedited by Olivier Danvy, Robert Glück, Peter Thiemann.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1996.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1996.
300			_aXII, 520 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v1110
505	0		_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.
520			_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.
650		0	_aComputer science.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Techniques.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
700	1		_aDanvy, Olivier. _eeditor.
700	1		_aGlück, Robert. _eeditor.
700	1		_aThiemann, Peter. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540615804
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v1110
856	4	0	_uhttp://dx.doi.org/10.1007/3-540-61580-6
942			_2EBK7411 _cEBK
999			_c36705 _d36705