10 search results - page 1 / 2 » Practical Aspects of Specialization of Algol-like Programs |
DAGSTUHL
1996
13 years 6 months ago
1996
Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
ECOOP
2001
Springer
13 years 9 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
DAGSTUHL
1996
13 years 6 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
CEFP
2007
Springer
13 years 11 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...