The semantics of the Maude strategy language

Thumbnail Image

Download

Download Maude_strategy.pdf (359.58 KB)

Official URL

Full text at PDC

Publication date

2021

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/5766

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.

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Lenguajes de programación, Software

Unesco subjects

1203.23 Lenguajes de Programación, 3304.16 Diseño Lógico

Keywords

Collections

Documentos de trabajo e informes técnicos