{"product_id":"9781612337579","title":"Head-Order Techniques And Other Pragmatics Of Lambda Calculus Graph Reduction","description":"Available in Paperback Available in eBook editions (PDF format)\u003cbr\u003eInstitution:\u003cbr\u003eSyracuse University (Syracuse, NY, USA)\u003cbr\u003eAdvisor(s):\u003cbr\u003eProf. Klaus J. Berkling\u003cbr\u003eDegree:\u003cbr\u003ePh.D. in Computer and Information Science\u003cbr\u003eYear:\u003cbr\u003e1993\u003cbr\u003eBook Information:\u003cbr\u003e248 pages\u003cbr\u003ePublisher:\u003cbr\u003eDissertation.com\u003cbr\u003eISBN-10:\u003cbr\u003e1612337570\u003cbr\u003eISBN-13:\u003cbr\u003e9781612337579\u003cbr\u003eView First 25 pages:\u003cbr\u003e(free download)\u003cbr\u003eAbstract\u003cbr\u003eThe operational aspects of Lambda Calculus are studied as a fundamental basis for high-order functional computation. We consider systems having full reduction semantics, i.e., equivalence-preserving transformations of functions. The historic lineage from Eval-Apply to SECD to RTNF\/RTLF culminates in the techniques of normal-order graph Head Order Reduction (HOR). By using a scalar mechanism to artificially bind relatively free variables, HOR makes it relatively effortless to reduce expressions beyond weak normal form and to allow expression-level results while exhibiting a well-behaved linear self-modifying code structure. Several variations of HOR are presented and compared to other efficient reducers, with and without sharing, including a conservative breadth-first one which mechanically takes advantage of the inherent, fine-grained parallelism of the head normal form. We include abstract machine and concrete implementations of all the reducers in pure functional code. Benchmarking comparisons are made through a combined time-space efficiency metric. The original results indicate that circa 2010 reduction rates of 10-100 million reductions per second can be achieved in software interpreters and a billion reductions per second can be achieved by a state-of-the art custom VLSI implementation.","brand":"Universal-Publishers.com","offers":[{"title":"Default Title","offer_id":47018528899312,"sku":"9781612337579","price":25.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781612337579_p0.jpg?v=1763842143","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781612337579","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}