Computability and complexity theory should be of central concern to practitioners as well as theorists. Unfortunately, however, the field is known for its impenetrability. Neil Jones's goal as an educator and author is to build a bridge between computability and complexity theory and other areas of computer science, especially programming. In a...
This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007.
The 53 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 179 submissions. The papers...
Web Standards: Mastering HTML5, CSS3, and XML provides solutions to the most common website problems, and gives you a deep understanding of web standards and how they can be applied to improve your website. You will learn how to create fully standards-compliant websites and provide search engine-optimized Web documents with...
In January 1999 I was preparing to teach an introductory programming class in Java. I had taught it three times and I was getting frustrated. The failure rate in the class was too high and, even for students who succeeded, the overall level of achievement was too low.
One of the problems I saw was the books. They were too...
This book constitutes the refereed proceedings of the Third International Semantic Web Conference, ISWC 2004, held in Hiroshima, Japan in November 2004.
The 55 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from a total of 227 submitted papers. The papers are organized in topical...
Streamline your embedded code projects with just one book - Miro Samek presents UML statecharts - a practical, time-saving design methodology!
Practical UML Statecharts in C/C++ Second Edition bridges the gap between high-level abstract concepts of the Unified Modeling Language (UML) and the actual programming aspects of modern...
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be...
Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. ...
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of...
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it.
Concepts of Programming Languages describes the fundamental concepts of programming languages by presenting design issues, examining design choices, and critically comparing design alternatives without being language specific. This book is appropriate for anyone who wants to compare and contrast various programming languages.
