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
Dictionary of Programming Languagesby Neal Ziring
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(16170 views)
Proofs and Typesby J. Girard, Y. Lafont, P. Taylor - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(21493 views)
Semantics of Programming Languagesby Andrew M. Pitts - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(12406 views)
Let Over Lambda: 50 Years of Lispby 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.
(26121 views)