Data, Syntax and Semantics: Modelling Programming Languages

by J. V. Tucker, K. Stephenson
Author(s):J. V. Tucker, K. Stephenson
Language: English
Publisher: University of Wales Swansea
Published Date: 20th March 2006
ISBN:

About the book Data, Syntax and Semantics: Modelling Programming Languages

Data, Syntax and Semantics: Modelling Programming Languages is a COMPUTER ENGINEERING book which was published by University of Wales Swansea on 20th March 2006 . J. V. Tucker, K. Stephenson are the authors of this book. This book is written in English .

Data, Syntax and Semantics: Modelling Programming Languages 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.


Free DOWNLOAD or READ

You can read or download the book Data, Syntax and Semantics: Modelling Programming Languages from the following links.

Buy\Review\Rating

You can buy, review or give ratings for this book at the following links: