Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars

DOI10.1016/j.entcs.2007.03.018zbMath1279.68059OpenAlexW2093718638WikidataQ126239739 ScholiaQ126239739MaRDI QIDQ2870327

Fernando Luís Dotti, Fábio Pasini

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.03.018

zbMATH Keywords

MPImodel checkingparallel programminggraph grammars

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Correct transformation: from object-based graph grammars to PROMELA

Uses Software

• SPIN
• PVM
• MPI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On closure under stuttering
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars