Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
DOI10.1007/S11786-020-00455-3zbMATH Open1471.68051OpenAlexW3005182213MaRDI QIDQ2209262FDOQ2209262
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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inferring safe Maude programs with ÁTAME
- Program adaptation via output-constraint specialization
- Partial evaluation of order-sorted equational programs modulo axioms
Cited In (6)
- Order-sorted equational generalization algorithm revisited
- Optimizing Maude programs via program specialization
- Symbolic Specialization of Rewriting Logic Theories with Presto
- Inferring safe Maude programs with ÁTAME
- Title not available (Why is that?)
- Safety enforcement via programmable strategies in Maude
Uses Software
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)
