Uwe Aßmann  Home/Search
Context
Related
| i44www.info.unikarl...optimixing.ps.gz ida.liu.se/~uweas/re...optimixing.ps.gz 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: i44www.info.unikarls...abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . OPTIMIX is a tool for generating optimization algorithms which construct and transform directed relational graphs. OPTIMIX's specification language allows graph queries which localize information that is distributed and hidden in the intermediate representation, as well as graph rewrite systems which describe transformations. Hence OPTIMIX can be applied to three major problem classes of optimization: graph reachability problems, context-sensitive pattern-match problems, and mark/transform... (Update)
Similar documents (at the sentence level):
20.7%: A Tutorial for OPTIMIX - Aßmann (1998) (Correct)
7.1%: Optimix - A Tool For Rewriting And Optimizing Programs - Aßmann (Correct)
Active bibliography (related documents): More All
0.5: OPTIMIX Language Manual (for OPTIMIX 2.4) - Aßmann (1997) (Correct)
0.4: Aspect Weaving by Graph Rewriting - Aßmann, Ludwig (1999) (Correct)
0.3: Graph Rewrite Systems For Program Optimization - Aßmann (1996) (Correct)
Similar documents based on text: More All
0.8: OPTIMIX Language Report (for OPTIMIX 7.0) - Aßmann (1995) (Correct)
0.7: On Edge Addition Rewrite Systems and their Relevance to Program.. - Aßmann (1994) (Correct)
0.7: OPTIMIX Language Manual (for OPTIMIX 2.5) - Aßmann (1998) (Correct)
BibTeX entry: (Update)
@misc{ mann-optimixing,
author = "Uwe Aßmann",
title = "OPTIMIXing",
url = "citeseer.ist.psu.edu/168058.html" }
Citations (may not include all citations):129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995 ACM DBLP
43 Graph Grammar Engineering with PROGRES (context) - Schurr, Winter et al. - 1995 ACM DBLP
41 Graph Layout through the VCG Tool - Sander - 1995 ACM DBLP
40 AGG --- an implementation of algebraic graph rewriting (context) - Lowe, Beyer - 1993
32 What You Always Wanted to Know About Datalog (context) - Ceri, Gottlob et al. - 1989
24 Cosy Compiler Phase Embedding with the CoSy Compiler Model - Alt, ABetamann et al. - 1994 ACM DBLP
18 How To Uniformly Specify Program Analysis and Transformation (context) - Assmann - 1996
15 Department of Computer Sciences (context) - Miranker, The et al.
13 Generierung von Programmoptimierungen mit Graphersetzungssys.. (context) - Assmann - 1995
13 the embeddability of production rules in object-oriented lan.. - Pachet - 1995
12 Ast - A Generator for Abstract Syntax Trees (context) - Grosch - 1989
5 Efficient Graph Rewriting and Its Implementation (context) - Dorr - 1995 ACM
3 Graph Rewrite Systems For Program Optimization (context) - ABetamann - 1996 ACM DBLP
1 Available at http://www-rocq (context) - Assmann, Manual et al. - 1996
Documents on the same site (http://i44www.info.uni-karlsruhe.de/~assmann/abstracts.html): More
Programming Connectors In an Open Language - Aßmann, Ludwig, Pfeifer (1998) (Correct)
Parallel EARS - Aßmann (1995) (Correct)
How to Uniformly Specify Program Analysis and Transformation with .. - Aßmann (1996) (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