User-Extensible Simplification - Type-Based Optimizer Generators


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


6 Figures and Tables

Slides referencing similar topics