Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars (original) (raw)
Related papers
Specification of Mobile Code Systems Using Graph Grammars
IFIP Advances in Information and Communication Technology, 2000
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Graph grammar engineering: A software specification method
Lecture Notes in Computer Science, 1987
Formal Verification of Object-Oriented Graph Grammars Specifications
Electronic Notes in Theoretical Computer Science, 2007
An Environment for the Development of Concurrent Object-Based Applications 1,2
Electronic Notes in Theoretical Computer Science
An Environment for the Development of Concurrent Object-Based Applications
Electronic Notes in Theoretical Computer Science, 2005
Specification and Analysis of Fault Behaviours Using Graph Grammars
Lecture Notes in Computer Science, 2004
Designing Parallel Programs by the Graphical Language GRAPNEL* 1
Microprocessing and Microprogramming, 1996
Model Based Software Engineering, Graph Grammars and Graph Transformations
2004
Verifying Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science, 2004
Object-oriented model of parallel programs
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, 1996
Parallel Implementation through Object Graph Rewriting
1996
Modelling concurrent computations: from contextual Petri nets to graph grammars
2000
Graphical Construction of Parallel Programs
Implementing executable graph based visual language in a distributed environment
2006 International Conference on Computing & Informatics, 2006
Formal specification and verification of real-time systems using Graph Grammars
Journal of the Brazilian Computer Society, 2007
Revista de Informática Teórica e Aplicada
A Visual Language for Parallel, Object-Oriented Programming
2004
Nested Software Structure generated by aedNLC graph grammar–technical report
Distributed Software Allocation with help Node Label Controlled Graph Grammars
Experience using an intermediate compiler target language for parallel machines
Microprocessors and Microsystems, 1997
GraphProgramming: a tool for grid and parallel programming
A graph grammar-based formal validation of object-process diagrams
Software and System Modeling
2004
Visual Languages and Human Centric Computing, 2006
Graph-based analysis for parallelization of Java programs
Classification for the Concrete Syntax of Graph-Like Modeling Languages
SN Computer Science
Declarative coordination of graph-based parallel programs
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Towards model checking graph grammars
Workshop on Automated Verification of Critical …
Graph grammar engineering with PROGRES
Software EngineeringESEC'95, 1995
Dactl: An Experimental Graph Rewriting Language
John Glauert, Richard Kennaway
Journal of Programming Languages, 1997
Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library
2007
Graph Transformation, 2016