Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 11.

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael A Declarative Debugger for Maude Specifications: User Guide. [Working Paper or Technical Report] (Submitted)

Caballero, Rafael and Martí Oliet, Narciso and Riesco Rodríguez, Adrián and Verdejo López, José Alberto Declarative Debugging of Maude Functional Modules. [Working Paper or Technical Report] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso Declarative Debugging of Maude Modules. [Working Paper or Technical Report]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso Declarative Debugging of Missing Answers in Rewriting Logic. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. Tesis PhD.

Carro Albarrán, David and Riesco Rodríguez, Adrián and Rodríguez Martínez, Francisco Pedro (2005) Fractal Go. [Coursework] (Unpublished)

Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

This list was generated on Thu Apr 17 02:24:49 2014 CEST.