DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched
editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an …

We describe a derivational approach to abstract interpretation that yields novel and
transparently sound static analyses when applied to well-established abstract machines. To …

Formal models serve in many roles in the programming language community. In its primary
role, a model communicates the idea of a language design; the architecture of a language …

This paper define the semantics of MinAML, an idealized aspect-oriented programming
language, by giving a type-directed translation from its user-friendly external language to its …

We propose a framework for identifying, organizing, and communicating learning objectives
that involve program semantics. In this framework, detailed learning objectives are written …

As a possible extension to his http://www. haskell. org/hood/Hood http://www. cse. ogi. edu/~
andy/pub/debug. htm, Andy Gill has described the``dynamic viewing of structures'', stepping …

Twenty years ago Abelson and Sussman's Structure and Interpretation of Computer
Programs radically changed the intellectual landscape of introductory computing courses …

Optimizing compilers map programs in high-level languages to high-performance target
language code. To most programmers, such a compiler constitutes an impenetrable black …

Aspect-oriented software design will need to support languages with first-class and higher-
order procedures, such as Ruby, Perl, ML and Scheme. These language features present …

Syntactic sugar is pervasive in language technology. It is used to shrink the size of a core
language; to define domain-specific languages; and even to let programmers extend their …