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

DOI10.1007/s11786-020-00455-3zbMath1471.68051OpenAlexW3005182213MaRDI QIDQ2209262

María Alpuente, Julia Sapiña, Demis 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

program transformationsafety propertiesMaudeassertions

Mathematics Subject Classification ID

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

Related Items (2)

Order-sorted equational generalization algorithm revisited ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto

Uses Software

• Maude
• iJulienne
• ATAME
• LiquidHaskell
• ABETS

Cites Work

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

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