Safety enforcement via programmable strategies in Maude
From MaRDI portal
Publication:2693298
DOI10.1016/j.jlamp.2023.100849OpenAlexW4317608880MaRDI QIDQ2693298
D. Galán, Julia Sapiña, Santiago Escobar, María Alpuente, Demis Ballis
Publication date: 20 March 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100849
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Debugging Maude programs via runtime assertion checking and trace slicing
- Invariant-driven specifications in Maude
- Conditional rewriting logic as a unified model of concurrency
- Program adaptation via output-constraint specialization
- Strategies, model checking and branching-time properties in Maude
- Programming and symbolic computation in Maude
- Partial evaluation of order-sorted equational programs modulo axioms
This page was built for publication: Safety enforcement via programmable strategies in Maude