• Title: Data, Syntax and Semantics: An Introduction to Modelling Programming Languages
• Author(s) J. V. Tucker, K. Stephenson
• Publisher: University of Wales Swansea (2006)
• Hardcover/Paperback: N/A
• eBook: PDF (840 pages, 9.1 MB)
• Language: English
• ISBN-10/ASIN: N/A
• ISBN-13: N/A

Book 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.

• N/A

• Amazon

• Theory of Programming Languages
• Compiler Design and Construction
• Computer and Programming Languages
• Computer Science

• Data, Syntax and Semantics: An Introduction to Modelling Programming Languages
• The Mirror Site (1) - PDF
• The Mirror Site (2) - PDF

• Syntactic Theory: A Formal Introduction (Ivan A. Sag, et al)

  This is a textbook that makes it truly fun to teach introductory syntax. It is thoroghly data-driven and teaches the student to pay attention to empirical details and to find linguistic patterns and explanations for them.

• Semantics - Advances in Theories and Mathematical Models

  This book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics, covers state-of-the-art systems, theories, mathematical models in the domain of Semantics.

• Practical Foundations for Programming Languages (Robert Harper)

  An excellent introduction to a wide range of programming language concepts. They are all uniformly and carefully explained, using techniques that are very useful in practice for both analysis and implementation of programming languages.

• Anatomy of Programming Languages (William R. Cook)

  This book is a series of notes about programming languages, originally written for students of the undergraduate programming languages course. It uses Haskell, a pure functional language.

• Computational Linguistics: Models, Resources, Applications

  This comprehensive reference work provides an overview of the concepts, methodologies, and applications in computational linguistics and natural language processing (NLP). It will be of interest and practical use to a wide range of linguists.

• Practical Semantic Web and Linked Data Applications

  This book is intended to be a practical guide for using RDF data in information processing, linked data, and semantic web applications using both the AllegroGraph product and the Sesame open source project.

• A Semantic Web Primer (Grigoris Antoniou, et al.)

  Provides a systematic treatment of the different languages (XML, RDF, OWL, and rules) and technologies (explicit metadata, ontologies, and logic and inference) that are central to Semantic Web development as well as such crucial related topics.