Composición en lógica de reescritura
- Martín Sánchez, Óscar
- Narciso Martí Oliet Director
- José Alberto Verdejo López Director
Defence university: Universidad Complutense de Madrid
Fecha de defensa: 15 September 2021
- David de Frutos Escrig Chair
- Yolanda Ortega Mallén Secretary
- Alicia Villanueva García Committee member
- Manuel Carro Liñares Committee member
- Francisco Durán Muñoz Committee member
Type: Thesis
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...