Code generation for parallel applications modelled with object-based graph grammars

DOI10.1016/J.ENTCS.2007.03.018MaRDI QIDQ2870327zbMATH OpenOpenAlexWikidataFDO

Authors Fábio Pasini, Fernando Luís Dotti

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

graph grammarsmodel checkingMPIparallel programming

Mathematics Subject Classification ID

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

Recommendations

• Stochastic object-based graph grammars
• Verifying object-based graph grammars
• Correct transformation: from object-based graph grammars to PROMELA
• Verification of distributed object-based systems.
• scientific article; zbMATH DE number 1569120

Cites work

• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 1569120 (Why is no real title available?)
• On closure under stuttering
• Verification of distributed object-based systems.
• Verifying object-based graph grammars

Cited in

(3)

• Stochastic object-based graph grammars
• Correct transformation: from object-based graph grammars to PROMELA
• Theoretical Aspects of Computing – ICTAC 2005

Describes a project that uses

Uses Software

• SPIN
• MPI
• PVM

This page was built for publication: Code generation for parallel applications modelled with object-based graph grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870327)