Uwe Aßmann  Home/Search
Context Related
| i44ftp.info.unika...age2.5alpha.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: info.unikarlsruhe.de/~...optimix (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: analyses and transformations. Its input language is based on Datalog and graph rewriting. Especially two new classes of graph rewrite systems are used: edge addition rewrite systems (EARS) and exhaustive graph rewrite systems (XGRS). The development of OPTIMIX has partially been supported by the Esprit project COMPARE (No. 5399). The tool is not in the public domain; however, a free version can be ordered from the author. Keywords: Program analysis, program transformation, optimizer generator,... (Update)
Context of citations to this paper: More
...practical tool which saves a lot of coding work in program transformation. A free version of the tool can be fetched from its home page [12]. 1.4 Appendix Optimix s data definition language is similar to that of AST [7] Node types (classes) consist of a collection of fields....
Cited by: More
Optimix - A Tool For Rewriting And Optimizing Programs - Aßmann (Correct)
Similar documents (at the sentence level):
76.8%: OPTIMIX Language Manual (for OPTIMIX 2.5) - Aßmann (1998) (Correct)
14.9%: OPTIMIX Language Report (for OPTIMIX 7.0) - Aßmann (1995) (Correct)
Active bibliography (related documents): More All
0.8: A Contraction Algorithm for finding Minimal Feedback Sets - Koehler (2005) (Correct)
0.5: A Tutorial for OPTIMIX - Aßmann (1998) (Correct)
0.3: OPTIMIX Language Manual (for OPTIMIX 2.4) - Aßmann (1997) (Correct)
Similar documents based on text: More All
0.6: OPTIMIXing - Aßmann (Correct)
0.4: An ASM Specification of the Operational Semantics of MIS - Gaul, Heberle, Zimmermann (1998) (Correct)
0.4: An Abstract State Machine specification of the. . . - Gaul (1997) (Correct)
BibTeX entry: (Update)
Uwe Amann. OPTIMIX Language Manual (for OPTIMIX 2.5). Technical Report 15, Universitat Karlsruhe, 1998. Available at http://i44www.info.uni-karlsruhe.de/~assmann/optimix.html. http://citeseer.ist.psu.edu/amann98optimix.html More
@misc{ amann98optimix,
author = "U. Amann",
title = "OPTIMIX Language Manual",
text = "Uwe Amann. OPTIMIX Language Manual (for OPTIMIX 2.5). Technical Report
15, Universitat Karlsruhe, 1998. Available at http://i44www.info.uni-karlsruhe.de/~assmann/optimix.html.",
year = "1998",
url = "citeseer.ist.psu.edu/amann98optimix.html" }
Citations (may not include all citations):218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1989
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
52 Code Optimization And Finite Church-Rosser Systems (context) - Aho, Sethi et al. - 1972
32 What You Always Wanted to Know About Datalog (context) - Ceri, Gottlob et al. - 1989
30 A tool box for compiler construction (context) - Grosch, Emmelmann - 1990
14 Graph-Grammatiken (context) - Nagl - 1979
13 Generierung von Programmoptimierungen mit Graphersetzungssys.. (context) - Amann - 1995
12 Ast - A Generator for Abstract Syntax Trees (context) - Grosch - 1989
11 Graph Rewrite Systems For Program Optimization - Amann - 1996
9 On Edge Addition Rewrite Systems and Their Relevance to Prog.. - Amann - 1994
8 How To Uniformly Specify Program Analysis and Transformation - Amann - 1996
2 Order sorted feature theory unification - Ait-Kaci, Podelski et al. - 1997
2 fSDL Language Report (context) - Buhl - 1995
Documents on the same site (http://www.info.uni-karlsruhe.de/~assmann/optimix.html):
A Tutorial for OPTIMIX - Aßmann (1998) (Correct)
OPTIMIX Language Manual (for OPTIMIX 2.5) - Aßmann (1998) (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