Publication Name Interpreter Writing using Graph Transformations
Publication Type Technical Reports
Publication Date 2003
Technical Report Additional Information ISIS-03-401
Download Publication Agrawal_A_0_0_2003_Interprete.pdf 
Bibliography Entry Agrawal A., Karsai G., Shi F.: Interpreter Writing using Graph Transformations, ISIS-03-401, 2003.

Aditya Agrawal


Gabor Karsai


Feng Shi


GME: The Generic Modeling Environment

GME is a configurable graphical modeling environment that supports building multi-aspect, hierarchical models. It also has flexible constraint management and automatic program synthesis capabilities.


Model-based Synthesis of Generators for Embedded Systems

This research is sponsored by the DARPA MoBIES program. Its objective is to automate the creation of model interpreters and other, related tools used for semantic conversion of information.


Model Integrated Computing

Providing rich, domain-specific modeling environments including model analysis and model-based program synthesis tools.


Semantic integration of design tools

Large-scale engineering processes require the seamless integration of engineering tools. In this effort we are developing the methods and supporting infrastructure for integrating these design tools by mapping the semantics of design information as captured in the tools.


Graph grammars and transformations

model-interpretation is the key component in MIC and is currently specified and implemented in programming languages. The goal is to use a high-level graph transformation and grammar based approach for specifying model-interpreters


Modeling languages

ISIS has developed a large number of visual languages for modeling complex systems. Designing and implementing modeling languages for domain-specific applications is one of the key characteristics of our research.

Associated Keywords
domain-specific environment, Graph Grammar & Graph Transfromation, MIC Applications, model interpreters, program synthesis, software generators, declarative programming, domain-specific program synthesis, Graphical Language Specification, model-integrated system development, program transformation specification, Visual Programming


Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Current Papers & Reports
Archived Papers & Reports