Inferring safe Maude programs with ÁTAME
From MaRDI portal
Publication:1662189
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
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)
Uses Software
This page was built for publication: Inferring safe Maude programs with ÁTAME