Sciweavers

SAIG
2001
Springer
13 years 8 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand
SAIG
2001
Springer
13 years 8 months ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann
SAIG
2001
Springer
13 years 8 months ago
MetaKlaim: Meta-programming for Global Computing
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
SAIG
2001
Springer
13 years 8 months ago
A Unifying Approach to Goal-Directed Evaluation
Olivier Danvy, Bernd Grobauer, Morten Rhiger