Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
From MaRDI portal
Publication:2209262
Recommendations
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
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)