The Vienna Definition Language (VDL) is a programming language for defining
programming languages. It allows us to describe precisely the execution of the set of all …

In the time since the 1986 edition of this book, the world of compiler design has changed
significantly. Programming languages have evolved to present new compilation problems …

A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

This thesis describes an investigation into the practical use of ontologies for the
development of information systems. Ontologies are formal descriptions of shared …

The conventional method of evaluating B-splines by means of divided differences is
numerically unstable. A relation between B-splines of consecutive degrees is derived which …

The Handbook of Natural Language Processing, Second Edition presents practical tools
and techniques for implementing natural language processing in computer systems. Along …

This new, expanded textbook describes all phases of a modern compiler: lexical analysis,
parsing, abstract syntax, semantic actions, intermediate representations, instruction …

In recent years there has been an increasing interest in the art of computer programming,
the conceptual tools available for the design of programs, and the prevention of …

We present grammatical evolution, an evolutionary algorithm that can evolve complete
programs in an arbitrary language using a variable-length binary string. The binary genome …

From the Publisher:" First book-length exposition of the denotational (ormathematical'
orfunctional') approach to the formal semantics of programming languages (in contrast …