The semantics of the Maude strategy language
Loading...
Download
Official URL
Full text at PDC
Publication date
2021
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
Citation
Abstract
The syntax and three equivalent semantics of the Maude strategy language: a set-theoretic denotational semantics, a nondeterministic small-step operational semantics, and an operational rewriting semantics. The proofs of their equivalence are included.