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
• scientific article; zbMATH DE number 1692934
• scientific article; zbMATH DE number 2080281

Cites work

• Assertion-based analysis via slicing withABETS(system description)
• Conditional rewriting logic as a unified model of concurrency
• Enforcing trace properties by program transformation
• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• Inferring safe Maude programs with ÁTAME
• Partial evaluation of order-sorted equational programs modulo axioms
• Program adaptation via output-constraint specialization

Cited in

(6)

• Inferring safe Maude programs with ÁTAME
• Order-sorted equational generalization algorithm revisited
• Safety enforcement via programmable strategies in Maude
• scientific article; zbMATH DE number 1692934 (Why is no real title available?)
• 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)