H ? « ‹ ← → › »

Language peer sets for OPTIMIX:
Germany↑
Germany/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Genus Graph ↑
Specialised Languages ↑
Graph↑
Rank 1 folded unlabelled↑
Rank 1 folded ↑
Graph/1994↑
Rank 1 folded unlabelled/1994↑
Rank 1 folded/1994↑
Graph/Germany↑
Rank 1 folded unlabelled/Germany↑
Rank 1 folded/Germany↑
Specialised Languages ↑
Specialised Languages/1994↑
Specialised Languages/de ↑

OPTIMIX(ID:7133/opt003)

Graph rewriting language based on Datalog 

alternate simple view
Country: Germany
Designed 1994
Genus: Graph
Sammet category: Specialised Languages

Graph rewriting language based on Datalog
Related languages
DATALOG → OPTIMIX   Based on
References:
  • Assmann, Uwe (1994) Assmann, Uwe "On Edge Addition Rewrite Systems and Their Relevance to Program Analysis" In Janice Cuny, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, editors, 5th Int. Workshop on Graph Grammars and Their Application To Computer Science, Williamsburg, Lecture Notes in Computer Science, Spinger Verlag, pages 321{335, Heidelberg, November 1994. Springer.
  • Assmann, Uwe (1995) Assmann, Uwe "Generierung von Programmoptimierungen mit Graphersetzungssystemen" PhD thesis, Universitat Karlsruhe, Kaiserstr. 12, 76128 Karlsruhe, Germany, July 1995. GMD-Bericht.
  • Assmann, Uwe (1996) Assmann, Uwe "Graph Rewrite Systems For Program Optimization" unpublished draft of journal paper on exhaustive graph rewrite systems, 1996.
  • Assmann, Uwe (1996) Assmann, Uwe "How To Uniformly Specify Program Analysis and Transformation" In P. A. Fritzson, editor, Compiler Construction (CC), volume 1060 of Lecture Notes in Computer Science, Spinger Verlag, Heidelberg, 1996. Springer.
  • Assmann, Uwe (1996) Assmann, Uwe "OPTIMIX Language Manual (for OPTIMIX 2.0)" Rapport technique de l'INRIA- Rocquencourt RT-0195 - Août 1996 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder