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

safety propertiesMaudeprogram transformationassertions

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

• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• Assertion-based analysis via slicing withABETS(system description)
• 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

Cited in

(6)

• Order-sorted equational generalization algorithm revisited
• Optimizing Maude programs via program specialization
• Inferring safe Maude programs with ÁTAME
• Symbolic Specialization of Rewriting Logic Theories with Presto
• scientific article; zbMATH DE number 1692934 (Why is no real title available?)
• Safety enforcement via programmable strategies in Maude

Describes a project that uses

Uses Software

• ABETS
• LiquidHaskell
• ATAME
• iJulienne
• Maude

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)