Composición en lógica de reescritura

  1. Martín Sánchez, Óscar
Supervised by:
  1. Narciso Martí Oliet Director
  2. José Alberto Verdejo López Director

Defence university: Universidad Complutense de Madrid

Fecha de defensa: 15 September 2021

Committee:
  1. David de Frutos Escrig Chair
  2. Yolanda Ortega Mallén Secretary
  3. Alicia Villanueva García Committee member
  4. Manuel Carro Liñares Committee member
  5. Francisco Durán Muñoz Committee member
Department:
  1. Sistemas Informáticos y Computación

Type: Thesis

Teseo: 156508 DIALNET

Abstract

In short, this thesis shows that compositional specification and verification are doable in rewriting logic and in Maude if they are enriched with appropriate extensions. Modularity and compositionality are key features in computer science and engineering. Rewriting logic has proven to be a valuable tool for system modeling (or specification, as it is usually called in this context) but, up to make compositional specification and verification possible in rewriting logic, and to incorporate the resulting ideas into Maude (a language and system based on rewriting logic) so as to make them usable in practice...