The semantics of the Maude strategy language
Las semánticas del lenguaje de estrategias de Maude

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)

[thumbnail of slang.pdf]
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