Virtual machines face significant performance challenges beyond those confronted by
traditional static optimizers. First, portable program representations and dynamic language …

BUGS is a software package for Bayesian inference using Gibbs sampling. The software has
been instrumental in raising awareness of Bayesian modelling among both academic and …

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 …

Dynamically typed languages such as Python and Ruby have experienced a rapid grown in
popularity in recent times. However, there is much confusion as to what makes these …

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

Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of
automatic memory management. Its widely acclaimed successor, The Garbage Collection …

We present a new non-blocking implementation of concurrent linked-lists supporting
linearizable insertion and deletion operations. The new algorithm provides substantial …

The design and analysis of efficient data structures has long been recognized as a key
component of the Computer Science curriculum. Goodrich, Tomassia and Goldwasser's …

A technique is provided for reducing the number of write barriers executed in mutator code
without compromising garbage collector performance. Advantageously, a compiler …

Search has been vital to artificial intelligence from the very beginning as a core technique in
problem solving. The authors present a thorough overview of heuristic search with a balance …