Abstract computing machines
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Logic, symbolic and mathematical
Machine Theory
Logic design
Computer science
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 inste…
Read online
Reader not loading? Open it on Archive.org instead.
