登入選單

返回Google圖書搜尋

Principled Optimization of Functional Programs

Adam Brooks Webber

出版	Cornell University, 1993
URL	http://books.google.com.hk/books?id=n3CD_3LAiu8C&hl=&source=gbs_api

註釋

Automatic optimizers for computer programs work with a fixed list of rote transformations, while human programmers can go on to derive new optimizations from broad and intuitive principles if known transformations prove inadequate. This dissertation investigates the possibility that principled optimization can be automated, focusing on a single principle (the principle that programs should not do anything unnecessary) and a single program domain (the domain of purely functional, first-order programs). Three questions are explored: How can the principle be formalized? How can violations of the principle be detected? How can violations be repaired?