Inferring safe Maude programs with ÁTAME

DOI10.1007/978-3-319-96418-8_1zbMath1395.68080OpenAlexW2884394361MaRDI QIDQ1662189

María Alpuente, Demis Ballis, Julia Sapiña

Publication date: 17 August 2018

Full work available at URL: http://hdl.handle.net/11390/1140021

zbMATH Keywords

rewriting logicMaudeassertionsprogram adaptabilityprogram specialization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (max. 100)

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

Uses Software

• Maude
• ATAME

This page was built for publication: Inferring safe Maude programs with ÁTAME