Data, Syntax and Semantics: An Introduction to Modelling Programming Languages

Read and download free eBook intituled Data, Syntax and Semantics: An Introduction to Modelling Programming Languages in format PDF (840 pages, 9.1 MB) created by J. V. Tucker, K. Stephenson.

This book is an introduction to the mathematical theory of programming languages. It is in tended to provide a first course, one that is suitable for all university students of Computer Science to take early in their education.

The book con tains much basic mathematical material on data, syntax and semantics. There are some seemingly advanced features and contemporary topics that may not be common in the elementary textbook literature: data types and their algebraic theory, real numbers, interface definition languages, algebraic models of abstract syntax, use of algebraic operational seman tics, connections with computability theory, virtual machines and compiler correctness.

Read and Download Links:

Data, Syntax and Semantics: An Introduction to Modelling Programming Languages