Logo

Semantics: Advances in Theories and Mathematical Models

Small book cover: Semantics: Advances in Theories and Mathematical Models

Semantics: Advances in Theories and Mathematical Models
by

Publisher: InTech
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.

Home page url

Download or read it online for free here:
Download link
(4.6MB, PDF)

Similar books

Book cover: Lecture Notes on the Lambda CalculusLecture Notes on the Lambda Calculus
by - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
(11541 views)
Book cover: Concrete Semantics: With Isabelle/HOLConcrete Semantics: With Isabelle/HOL
by - Springer
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.
(6309 views)
Book cover: Lecture Notes on Static AnalysisLecture Notes on Static Analysis
by - IT University of Copenhagen
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, control flow analysis, pointer analysis.
(7524 views)
Book cover: Let Over Lambda: 50 Years of LispLet Over Lambda: 50 Years of Lisp
by - 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.
(21553 views)