Semantics: Advances in Theories and Mathematical Models
by Muhammad Tanvir Afzal (ed.)
Publisher: InTech 2012
ISBN-13: 9789535105350
Number of pages: 284
Description:
The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; Semantic Web and Interfaces.
Download or read it online for free here:
Download link
(4.6MB, PDF)
Similar books
![Book cover: Compositional Semantics](images/5229.jpg)
by Gary Hardegree - UMass Amherst
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; etc.
(16298 views)
![Book cover: Introduction to Programming Languages](images/9679.jpg)
- Wikibooks
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
(10155 views)
![Book cover: A Practical Theory of Programming](images/308.jpg)
by Eric C.R. Hehner - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(14786 views)
![Book cover: Type Systems for Programming Languages](images/blank.gif)
by Robert Harper
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(16599 views)