Sibylle Schupp, Douglas Gregor, David Musser, Shin-Ming Liu  Home/Search
Context Related
| purdue.edu/homes/p...usserliucc01.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: purdue.edu/homes/palsberg/tba/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 to be based cannot be automatically inferred by the compiler. In this paper our aim is to address this level-of-abstraction barrier by ... (Update)
Cited by: More
Concepts: Linguistic Support for Generic Programming in C++ - Douglas Gregor Dgregor (Correct)
Strategies for Fusing Logic and Control via Local.. - Johann, Visser (2003) (Correct)
Design of the CodeBoost Transformation System for - Domain-Specific Optimisation Of (2003) (Correct)
Active bibliography (related documents): More All
0.5: Exploring Extensibility and Performance in a Generic Programming.. - Burton (2001) (Correct)
0.5: Code Generation Algorithms For Digital Signal Processors - Araujo (1997) (Correct)
0.5: The Design of the Branch-and-Cut System ABACUS - Jünger, Thienel (1997) (Correct)
Similar documents based on text: More All
0.3: Retaining Path-Sensitive Relations across Control-Flow Merges - Douglas Gregor Dept (Correct)
0.3: Proof Logging Final Report - Tr- Sentot (Correct)
0.2: On Program Transformation in the Glasgow Haskell Compiler - Santos, Jones (1993) (Correct)
Related documents from co-citation: More All
3: Building Program Optimizers with Rewriting Strategies - Visser, Abidine et al. - 1998
3: An annotation language for optimizing software libraries - Guyer, Lin - 1999
2: Metaobject Protocol for C (context) - Chiba - 1995
BibTeX entry: (Update)
Sibylle Schupp, Douglas Gregor, David Musser, and Shin-Ming Liu. User-extensible simplification--type-based optimizer generators. In Proceedings of Compiler Construction 2001. http://citeseer.ist.psu.edu/schupp01userextensible.html More
@article{ schupp01userextensible,
author = "Sibylle Schupp and Douglas Gregor and David Musser and Shin-Ming Liu",
title = "User-Extensible Simplification--Type-Based Optimizer Generators",
journal = "Lecture Notes in Computer Science",
volume = "2027",
pages = "86--??",
year = "2001",
url = "citeseer.ist.psu.edu/schupp01userextensible.html" }
Citations (may not include all citations):1002 programming language (context) - Stroustrup - 1997
152 Restructuring lattice theory: An approach based on hierarchi.. (context) - Wille - 1982
133 Adaptive Object-Oriented Software: The Demeter Method with P.. - Lieberherr - 1996
127 A metaobject protocol for C - Chiba - 1995
108 The Standard Template Library - Stepanov, Lee - 1995
78 Concept lattices and conceptual knowledge systems (context) - Wille - 1992
67 Expression templates - Veldhuizen
67 BURG---fast optimal instruction selection and tree parsing - Fraser, Henry et al. - 1992
53 Optimal code generation for expression trees (context) - Aho, Johnson - 1976
37 An annotation language for optimizing software libraries - Guyer, Li - 1999
34 From flop to megaflops: Java for technical computing - Moreira, Midki et al. - 2000
31 The Matrix Template Library: A generic programming approach .. - Siek, Lumsdaine - 1998
20 Generic Programming and the STL: Using and Extending the C++.. (context) - Austern - 1999
17 POOMA: A framework for scientific simulations on parallel ar.. - Reynders, Hinker et al. - 1996
16 Programming with the Standard Template Library (context) - Musser, Saini et al. - 1996
14 The ADA Generic Library: Linear List Processing Packages (context) - Musser, Stepanov - 1989
13 An overview of the Tecton proof system - Kapur, Musser et al. - 1994
12 The generic graph component library - Lee, Siek et al.
8 A modern framework for portable high performance numerical l.. - Siek - 1999
6 A new and useful template technique (context) - Myers
5 cient support for complex numbers in Java (context) - Wu, Midki et al. - 1999
3 Type-based alias analysis (context) - Mitchell - 2000
3 the portable expression template engine (context) - Haney, Crotinger et al. - 1995
3 The future is intentional (context) - Simonyi - 1999
2 cient code generator (context) - Fraser, Hanson et al. - 1992
2 Cambridge University Press (context) - Lippman, Gems - 1996
2 Rensselaer Polytechnic Institute (context) - Gregor, Schupp et al. - 2000
1 Internal Representation (context) - LLC - 2000
1 Generative Programming---Towards a New Paradigm of Software .. (context) - Czarnecki, Eisenecker - 2000
1 ROSE II: An optimizing code transformer for C++ object-orien.. (context) - Davis, Quinlan - 1998
1 A scalable compiler for analytical experiments (context) - Group, Comp et al. - 2000
1 Requirements-oriented programming (context) - Musser, Schupp et al.
1 Tecton: A language for specifying generic system components (context) - Kapur, Musser - 1992
1 Algebraic concepts represented in C (context) - Schupp, Gregor et al. - 2000
1 expression templates performance issues in scientific comput.. (context) - Bassetti, Davis - 1998
http://oonumerics.org/blitz
www.informatik.tu-darmstadt.de/TI/LiDIA/
Documents on the same site (http://www.cs.purdue.edu/homes/palsberg/tba/): More
A Type-Based Locality Analysis for a Functional Distributed.. - Moreira (2000) (Correct)
Fast and Effective Optimization of Statically Typed.. - Bacon (1997) (Correct)
Region Analysis and the Polymorphic Lambda Calculus - Banerjee, Heintze, Riecke (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC