Person:
Rubio Cuéllar, Rubén Rafael

Profile Picture
First Name
Rubén Rafael
Last Name
Rubio Cuéllar
URI
https://hdl.handle.net/20.500.14352/80838
Affiliation
Universidad Complutense de Madrid
Faculty / Institute
Informática
Department
Sistemas Informáticos y Computación
Area
Lenguajes y Sistemas Informáticos
Identifiers
UCM identifierORCIDScopus Author IDWeb of Science ResearcherIDDialnet IDGoogle Scholar ID

Filters

2019 - 201912020 - 20211
Reset filters

Settings

Subject: 004.4 ×

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    The semantics of the Maude strategy language
    (2021) Rubio Cuéllar, Rubén Rafael; Martí Oliet, Narciso; Pita Andreu, María Isabel; Verdejo López, José Alberto
    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.
  • Thumbnail Image
    Item
    Model checking strategy-controlled rewriting systems (extended version)
    (2019) Martí Oliet, Narciso; Pita Andreu, María Isabel; Verdejo López, José Alberto; Rubio Cuéllar, Rubén Rafael
    Strategies are widespread in Computer Science. In the domain of reduction and rewriting systems, strategies are studied as recipes to restrict and control reduction steps and rule applications, which are intimately local, in a derivation-global sense. This idea has been exploited by various tools and rewriting-based specification languages, where strategies are an additional specification layer. Systems so described need to be analyzed too. This article discusses model checking of systems controlled by strategies and presents a working strategy-aware LTL model checker for the Maude specification language, based on rewriting logic, and its strategy language. This extended version includes the proofs of the propositions in the conference paper, and a complete description of the small-step operational semantics used to define model checking for the Maude strategy language.