Abstract Computing Machines
|
Description
|
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative (von Neumann) machines that permit side-effecting operations on the runtime environment. |
Other books on Artificial Intelligence
Automatic Speech Recognition on Mobile Devices and over Communication Networks (Advances in Pattern Recognition)
Machine Learning in Document Analysis and Recognition (Studies in Computational Intelligence)
Artificial Intelligence for Advanced Problem Solving Techniques
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence (Lecture Notes in Computer Science)
Fundamentals of the New Artificial Intelligence: Neural, Evolutionary, Fuzzy and More (Texts in Computer Science)
Progress in Pattern Recognition, Image Analysis and Applications: 12th Iberoamerican Congress on Pattern Recognition, CIARP 2007,Valpariso, Chile, November ... (Lecture Notes in Computer Science)
Current Topics in Artificial Intelligence: 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November ... Papers (Lecture Notes in Computer Science)
Expert Systems in Chemistry Research
Toward Artificial Sapience: Principles and Methods for Wise Systems
Machine Learning for Audio, Image and Video Analysis: Theory and Applications (Advanced Information and Knowledge Processing)
Biologically Inspired Artificial Intelligence for Computer Games
Character Recognition Systems: A Guide for Students and Practitioners
Machine Learning for Multimedia Content Analysis (Multimedia Systems and Applications)
Artificial Intelligence: A Systems Approach (w/CDROM)(Computer Science) (Engineering)(AI) (Engineering)
Artificial Intelligence with Uncertainty
|
|
