Parameterized programming for compositional system specification

DOI10.1007/978-3-319-99840-4_4MaRDI QIDQ6109547zbMATH OpenOpenAlexWikidataFDO

Authors Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Publication date 28 July 2023

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99840-4_4

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional specification in rewriting logic
• Parameterized strategies specification in Maude
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Dynamic composition of parameterised logic modules

Cited in

(6)

• Parameterized strategies specification in Maude
• Composition-nominative aspects of address programming
• Specification of parameterized programs -- persistency revisited
• Compositionality and compatibility of parameterization and parameter passing in specification languages
• Compositional specification in rewriting logic
• Compositional verification in rewriting logic

This page was built for publication: Parameterized programming for compositional system specification

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