David Woodruff, a professor in CMU's Computer Science Department, and Samson Zhou from Texas A&M University received a ...

The control structures that test Boolean values only test for whether or not the value is nil, which is considered to be false. Any other value is considered to be true. Often a predicate will return ...

PREFACE: The language defined by the first edition contained an enormous lacuna: although facilities were specified for signaling errors, no means was defined for handling errors. This occurred not ...

This course covers the design and implementation of compiler and runtime systems for high-level languages, and examines the interaction between language design, compiler design, and runtime ...

The Oz project is designing technology to make it possible for artists to create interactive, dramatic microworlds. To demonstrate the potential of this work, we have built a few systems ourselves.

The do special form provides a generalized iteration facility, with an arbitrary number of ``index variables.'' These variables are bound within the iteration and stepped in parallel in specified ways ...

This course covers many of the concepts underlying the design, definition, implementation and use of modern programming languages. We emphasize formal techniques to study a variety of programming ...

Carnegie Mellon is known for its stressful environment, and we realize that the pace and expectations of 15-213/15-513/14-513 can contribute to that stress. If you find yourself having trouble keeping ...

Create your own election scenario! In this map, the states are sized in proportion to their Electoral College vote for president. Instructions: Click or double-click on any state to swing that state's ...

If the :constructor option is given as (:constructor name arglist), then instead of making a keyword-driven constructor function, defstruct defines a ``positional'' constructor function, taking ...

This course covers the design and implementation of compiler and runtime systems for high-level languages, and examines the interaction between language design, compiler design, and runtime ...