• Publications
  • Influence
Revised5 Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy LewisExpand
Revised4 report on the algorithmic language scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy LewisExpand
Essentials of programming languages
TLDR
This text focuses on the principles of the design and implementation of programming languages and the language SCHEME, a dialect of LISP, is used to demonstrate abstraction and representation. Expand
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
  • M. Wand
  • Computer Science
  • SAIG
  • 6 September 2001
A characteristic of aspect-oriented programming [KLM+97], as embodied in AspectJ [KHH+01], is the use of advice to incrementally modify the behavior of a base program. An advice expression specifiesExpand
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values, includingExpand
A semantics for advice and dynamic join points in aspect-oriented programming
TLDR
This work gives a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcuts, and advice and is intended as a baseline semantics against which future correctness results may be measured. Expand
Complete Type Inference for Simple Objects
Reification: Reflection without metaphysics
We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes asExpand
Revised 5 Report on the Algorithmic Language
Continuation-Based Program Transformation Strategies
TLDR
It is shown that m many eases such an addit ional variable arises as a representation of the continuation or global context m which the function is evaluated. Expand
...
1
2
3
4
5
...