User-Extensible Simplification - Type-Based Optimizer Generators

Abstract

For abstract data types (ADTs) there are many potential optimizations of code that current compilers are unable to perform. These optimizations either depend on the functional specification of the computational task performed through an ADT or on the semantics of the objects defined. In either case the abstract properties on which optimizations would have… (More)
DOI: 10.1007/3-540-45306-7_7

Topics

6 Figures and Tables

Slides referencing similar topics