Safety enforcement via programmable strategies in Maude

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

zbMATH Keywords

formal methodsrewriting strategiesrewriting logicMaudeprogram safety

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

The Maude strategy language

Uses Software

• Haskell
• Maude
• LiquidHaskell

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