Impacto
Downloads
Downloads per month over past year
Rubio Cuéllar, Rubén Rafael and Martí Oliet, Narciso and Pita Andreu, Isabel and Verdejo López, José Alberto (2021) The semantics of the Maude strategy language. [ ] (Unpublished)
Preview |
PDF
Creative Commons Attribution. 368kB |
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.
Item Type: | Working Paper or Technical Report |
---|---|
Uncontrolled Keywords: | Rewriting strategies, Maude, Language semantics |
Subjects: | Sciences > Computer science > Programming languages (Electronic computers) Sciences > Computer science > Software |
Series Name: | |
Volume: | |
Number: | |
ID Code: | 67449 |
Deposited On: | 01 Oct 2021 17:40 |
Last Modified: | 04 Oct 2021 06:50 |
Origin of downloads
Repository Staff Only: item control page