Paperback Edition
Paperback
248 pages
$25.95
Choose vendor to order paperback edition
BrownWalker Press
Amazon.com
Barnes & Noble
Harvard Book Store
Return policy
PDF eBook
Entire PDF eBook
3742k
$24
Get instant access to an entire eBook
Buy PDF Password
Download Complete PDF
eBook editions
Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
by Nikos B. Troullinos


Publisher: | Dissertation |
Pub date: | 2011 |
Pages: | 248 |
ISBN-10: | 1612337570 |
ISBN-13: | 9781612337579 |
Categories: | Computer Science Computers Mathematics |
Abstract
The 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.
Paperback Edition
Paperback
248 pages
$25.95
Choose vendor to order paperback edition
BrownWalker Press
Amazon.com
Barnes & Noble
Harvard Book Store
Return policy
PDF eBook
Entire PDF eBook
3742k
$24
Get instant access to an entire eBook
Buy PDF Password
Download Complete PDF
eBook editions
Share this book
Relevant events
NOV
15
SFN25
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of the largest and most influential neuroscience conferences.
Neuroscience 2025
Final Opportunity to Shape the Sessions and Events at #SfN25
Submit...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of the largest and most influential neuroscience conferences.
Neuroscience 2...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of th...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuros...
15 - 19 Nov 2025
San Diego, United States
DEC
11
IKBS 2025
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems (IKBS 2025) is organized by Nanchang Hangkong University and will be held in Nanchang, China during December 11-14, 2025.
The IKBS is a flagship a...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems (IKBS 2025) is organized by Nanchang Hangkong University and will be held ...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems ...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and...
11 - 14 Dec 2025
Nanchang, China
MAR
19
NPSE2024
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Science Education will take place:
on 18 March 2026 | Online Event
on 19-20 March 2026 | in Florence (Italy)
The event brings together educators, r...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Science Education will take place:
on 18 March 2026 | Online Event
on 19-20 ...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Scie...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference...
19 - 20 Mar 2026
Florence, Italy
OCT
23
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of Orlando, Florida, USA. Under the theme "Global Strategies Against Infectious...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of O...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congre...
23 - 25 Oct 2025
FloridA, United States
OCT
23
9th Edition of World Congress on Infectious Disease 2025
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of Orlando, Florida, USA. Under the theme "Global Strategies Against Infectious...
9th Edition of World Congress on Infectious Disease 2025
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of O...
9th Edition of World Congress on Infectious Disease 2025
Be a part of the 9th Edition of the World Congress on Infectious Diseases...
9th Edition of World Congress on Infectious Disease 2025
Be a part of the 9th Edition of the World Congre...
23 - 25 Oct 2025
FloridA, United States
OCT
23
WCSP 2025
The Seventeenth International Conference on Wireless Communications and Signal Processing (WCSP 2025)
WCSP is an annual International Conference on Wireless Communications and Signal Processing (WCSP). The aim of the conference is to provide an international forum that brings together researchers from academia and practiti...
The Seventeenth International Conference on Wireless Communications and Signal Processing (WCSP 2025)
WCSP is an annual International Conference on Wireless Communications and Signal Processing (WCSP). The aim of the conference is to provide an inte...
The Seventeenth International Conference on Wireless Communications and Signal Processing (WCSP 2025)
WCSP is an annual International Conference on Wireless Communications and...
The Seventeenth International Conference on Wireless Communications and Signal Processing (WCSP 2025)
WCSP is an annual International Conference on Wi...
23 - 25 Oct 2025
Chongqing, China
OCT
24
WSAI 2025
2025 the 7th World Symposium on Artificial Intelligence (WSAI 2025)
Publication:
All submitted papers will undergo rigorous peer review by the conference committee. Accepted papers will be published in the WSAI 2025 Conference Proceedings (Scopus & Ei Compendex indexed).
2025 the 7th World Symposium on Artificial Intelligence (WSAI 2025)
Publication:
All submitted papers will undergo rigorous peer review by the conference committee. Accepted papers will be published in the WSAI 202...
2025 the 7th World Symposium on Artificial Intelligence (WSAI 2025)
Publication:
All submitted papers will undergo rigorous peer review by t...
2025 the 7th World Symposium on Artificial Intelligence (WSAI 2025)
Publication:
All submitted papers will undergo ...
24 - 26 Oct 2025
Nanchang, China
OCT
24
FCS 2025
The Eighth International Conference on Frontiers in Cyber Security (FCS 2025)
The conference proceedings will be published by Springer Communications in Computer and Information Science (CCIS), which is indexed by EI.
The Eighth International Conference on Frontiers in Cyber Security (FCS 2025)
The conference proceedings will be published by Springer Communications in Computer and Information Science (CCIS), which is indexed by EI.
The Eighth International Conference on Frontiers in Cyber Security (FCS 2025)
The conference proceedings will be published by Springer Communications i...
The Eighth International Conference on Frontiers in Cyber Security (FCS 2025)
The conference proceedings will be published by ...
24 - 26 Oct 2025
Guiyang, China
OCT
24
ICRCV 2025
2025 7th International Conference on Robotics and Computer Vision (ICRCV 2025)
Paper Publication:
Accepted full papers will be published in ICRCV 2025 Conference Proceedings and submitted for Ei Compendex, Scopus.
ICRCV 2021-2024 conference proceedings has been archived in IEEE Xplore and indexed b...
2025 7th International Conference on Robotics and Computer Vision (ICRCV 2025)
Paper Publication:
Accepted full papers will be published in ICRCV 2025 Conference Proceedings and submitted for Ei Compendex, Scopus.
ICRCV 2021...
2025 7th International Conference on Robotics and Computer Vision (ICRCV 2025)
Paper Publication:
Accepted full papers will be published in ICRCV 2025 ...
2025 7th International Conference on Robotics and Computer Vision (ICRCV 2025)
Paper Publication:
Accepted full papers will be...
24 - 26 Oct 2025
Hong Kong, China
OCT
24
RCAE 2025
2025 8th International Conference on Robotics, Control and Automation Engineering (RCAE 2025)
Publication:
Submitted papers will be peer reviewed by conference committees. Accepted full papers will be published in RCAE 2025 Conference Proceedings, which will be published in IEEE Xplore, and indexed by EI Compendex...
2025 8th International Conference on Robotics, Control and Automation Engineering (RCAE 2025)
Publication:
Submitted papers will be peer reviewed by conference committees. Accepted full papers will be published in RCAE 2025 Conference Proce...
2025 8th International Conference on Robotics, Control and Automation Engineering (RCAE 2025)
Publication:
Submitted papers will be peer reviewed by conference commit...
2025 8th International Conference on Robotics, Control and Automation Engineering (RCAE 2025)
Publication:
Submitted papers will be peer revi...
24 - 26 Oct 2025
Xi'an, China