Books [J. V. Tucker, K. Stephenson] Data, Syntax and Semantics: An Introduction to Modelling Programming Languages

[tttx]

​

DESCRIPTION:

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.

INFORMATION PAGE:

Авторизуйтесь, чтобы посмотреть скрытый контент

DOWNLOAD:

Авторизуйтесь, чтобы посмотреть скрытый контент