programgeneration是program什么意思思

来源：蜘蛛抓取(WebSpider) 时间：2016-03-22 08:07 标签： program什么意思
Jones, Gomard, Sestoft: Partial Evaluation
Partial Evaluation and Automatic Program Generation
The book Partial Evaluation and Automatic Program Generation
gives a comprehensive presentation of partial evaluation: theory,
techniques, and applications.
It is suitable for self-study, and for
graduate courses and advanced undergraduate courses on program
transformation techniques.
Download the full text of the book
If you have a Postscript printer or Postscript emulator, use
If you want to read it from the screen, use the PDF versions: PDF (US letter) (1.7 MB) or
full text at .
What is partial evaluation?
Partial evaluation creates a specialized version of a general program.
The specialized program may be much faster than the general one.
Let p be a program which takes two inputs d1 and d2.
Ordinarily, the
application of p to (d1,d2) would be evaluated in one step:
Evaluate p with input (d1, d2), to produce the result res.
However, alternatively it may be evaluated in two steps:
(1) Partially evaluate p with input d1, to produce a new program r.
(2) Evaluate r with input d2, to produce the result res.
The program r is a specialized version of p (for the particular value
d1 of the first input), and is called a residual program.
process of producing r (in step 1) is called partial
evaluation, or program specialization.
The benefit of
partial evaluation is speed of execution: the specialized program r is
often much faster than the general program p.
The book's bibliographic data
, C.K. Gomard, and P. Sestoft, Partial
Evaluation and Automatic Program Generation.
With chapters by
L.O. Andersen and T. Mogensen.
Prentice Hall International, June
xii + 415 pages. ISBN 0-13-.
List price: 44.95 US
Reviewed in Computing
Reviews 35(7): 346-347, 1994, entry .
How to obtain a copy of the book
Download the full text in Postscript (2.3 MB) or in PDF (US letter) (1.7 MB) or
(1.7 MB), or browse
full text at .
Getting a paper copy the book is out of
You may find it second-hand somewhere, or else you may contact
Neil D. Jones or Peter Sestoft to see if we have any copies left.
Contacting the authors
retired from
his professorship at , University
of Copenhagen, in March 2007.
is a partner and co-founder of Netcompany.
at the IT University of Copenhagen.
Online materials related to the book
The example
(implemented in Prolog, thanks to Zerksis Umrigar)
The example partial
evaluator used in Chapter 5 (implemented in Scheme, updated 2012)
The Similix partial evaluator described in Chapter 10 (developed by
Anders Bondorf and ) is available as a ,
kindly provided by Torben Mogensen, DIKU.
but the implementation links there are dead.
The C-Mix partial evaluator described in Chapter 11 (developed by
Lars Ole Andersen) is available as a , kindly provided by Torben Mogensen, DIKU.
Other online materials on partial evaluation
from the October 1987
Workshop on Partial Evaluation and Mixed Computation at Gl. Avern鎠,
A key to the people in the picture can be found on pages
xxx-xxxi of D. Bj&rner, A.P. Ershov, and N.D. Jones, editors,
Partial Evaluation and Mixed Computation.
North-Holland, 1988.
A comprehensive bibliography
on partial evaluation
and Semilux
partial evaluators for MS DOS, developed by Sergei Romanenko.
Uncompress with unarjStudent Support Services assists with financial aid, tutoring, schedulingGraduation and retention rates for those students are increasingProgram wins $5 million grant for operations
Gloria Maldonado, a senior at the University of Kentucky, is the first person in her family to go to college. She received help from Student Support Services and now manages its tutoring program.
Linda B. Blackford
lblackford@
Gloria Maldonado talked with Kierra Crawford, a senior from Louisville, who gets counseling and tutoring from Student Success Services at UK.
Linda B. Blackford
lblackford@
By Linda B. Blackford
Related content

我要回帖

更多关于 program什么意思 的文章

 

随机推荐