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
Sample Preview
Size 491k
Free
Download a sample of the first 25 pages
Download Preview

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
small book icon  Paperback   small ebook icon   eBook PDF
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
Sample Preview
Size 491k
Free
Download a sample of the first 25 pages
Download Preview

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 ...
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...
19 - 20 Mar 2026
Florence, Italy
OCT
13
IJDMS
International Journal of Database Management Systems (IJDMS) International Journal of Database Management Systems (IJDMS) IJDMS is indexed World Journal Clout Index (WJCI) ISSN : 0975-5705 (Online); 0975-5985 (Print) http://airccse.org/journal/ijdms/index.html Scope & ...
International Journal of Database Management Systems (IJDMS) International Journal of Database Management Systems (IJDMS) IJDMS is indexed World Journal Clout Index (WJCI) ISSN : 0975-5705 (Online); 0...
International Journal of Database Management Systems (IJDMS) International Journal of Database Management Systems (IJDMS) IJDMS i...
International Journal of Database Management Systems (IJDMS) International Journal of Database Management S...
13 - 20 Oct 2025
Online Event | India
OCT
16
IEEE ICCT 2025
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT) Proceedings Publication: Accepted academic papers will be published by IEEE, and conference papers that meet IEEE Standards can be indexed by the IEEE Xplore Digital Library. IEEE ICCT2025 has been listed on IEEE confere...
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT) Proceedings Publication: Accepted academic papers will be published by IEEE, and conference papers that meet IEEE Standards can be indexed by the ...
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT) Proceedings Publication: Accepted academic papers will be published by I...
16 - 18 Oct 2025
Shenyang, China
OCT
17
ICICM 2025
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025) Publication: The accepted and registered papers will be publication in Conference Proceedings, which will be indexed by EI Compendex, Scopus, etc.
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025) Publication: The accepted and registered papers will be publication in Conference Proceedings, which will be indexed by EI Compendex, Scopus, etc.
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025) Publication: The accepted and registered papers will be publication in C...
17 - 19 Oct 2025
Hefei, China
OCT
17
ICBSP 2025
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025) Paper Publication: 1. ICBSP 2025 SPIE Conference Proceedings: indexed by Ei Compendex and Scopus, and submitted to be reviewed by CPCI. 2. Journal of Image and Graphics (JOIG, ISSN: 2301-3699), Cite Score: 4.1, which wil...
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025) Paper Publication: 1. ICBSP 2025 SPIE Conference Proceedings: indexed by Ei Compendex and Scopus, and submitted to be reviewed by CPCI. 2. Journa...
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025) Paper Publication: 1. ICBSP 2025 SPIE Conference Proceedings: indexed by...
17 - 19 Oct 2025
Xiamen, China
OCT
18
AIMLNET 2025
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025) 5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025) October 18 -19, 2025 ,Sydney, Australia https://csty2025.org/aimlnet/index Scope & Topics 5th International conferen...
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025) 5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025) October 18 -19, 2025 ,Sydney, Australia https...
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025) 5th International conference on AI, Machine Learning in Communications a...
18 - 19 Oct 2025
Sydney, Australia, Australia
OCT
22
2nd International Conference on Optics and Laser technology Scitechseries cordially invites you for the “2nd International Conference on Optics and Laser technology” (Optics 2025) is scheduled to take place in Osaka, Japan from October 22-23, 2025. This conference is following t...
2nd International Conference on Optics and Laser technology Scitechseries cordially invites you for the “2nd International Conference on Optics and Laser technology” (Optics 2025) is scheduled to take place ...
2nd International Conference on Optics and Laser technology Scitechseries cordially invites you for the “2nd International Conference...
2nd International Conference on Optics and Laser technology Scitechseries cordially invites you for the “2nd...
22 - 23 Oct 2025
Osaka, Japan
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