Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system

DOI10.1007/S11786-020-00455-3MaRDI QIDQ2209262zbMATH OpenOpenAlexFDO

Authors María Alpuente, Julia Sapiña, D. Ballis

Publication date 30 October 2020

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-020-00455-3

zbMATH Keywords

assertionsMaudeprogram transformationsafety properties

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Inferring safe Maude programs with ÁTAME
• Software model checking by program specialization
• Controlling polyvariance for specialization-based verification
• Enforcing safety properties using type specialization
• Specialization of systems programs: Lessons and perspectives (abstract of invited talk)

Cites work

• Assertion-based analysis via slicing withABETS(system description)
• Combined static and dynamic assertion-based debugging of constraint logic programs
• Conditional rewriting logic as a unified model of concurrency
• Enforcing trace properties by program transformation
• Inferring safe Maude programs with ÁTAME
• Partial evaluation of order-sorted equational programs modulo axioms
• Program adaptation via output-constraint specialization
• The Maude 2.0 system

Cited in

(6)

• Inferring safe Maude programs with ÁTAME
• Order-sorted equational generalization algorithm revisited
• Safety enforcement via programmable strategies in Maude
• Enforcing safety properties using type specialization
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Optimizing Maude programs via program specialization

Describes a project that uses

Uses Software

• ABETS
• Maude
• iJulienne
• LiquidHaskell
• ATAME

This page was built for publication: Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system

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