**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

**Practical Foundations for Programming Languages**

by

**Robert Harper**

This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.

(

**11018**views)

**Denotational Semantics: A Methodology for Language Development**

by

**David Schmidt**-

**Kansas State University**

Denotational semantics is a methodology for giving mathematical meaning to programming languages and systems. This book was written to make denotational semantics accessible to a wider audience and to update existing texts in the area.

(

**6650**views)

**Let Over Lambda: 50 Years of Lisp**

by

**Doug Hoyte**-

**Lulu.com**

One of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. This book is about macros, that is programs that write programs.

(

**9602**views)

**Compositional Semantics**

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.

(

**7357**views)