#### Filter Results:

- Full text PDF available (29)

#### Publication Year

2006

2017

- This year (5)
- Last 5 years (26)
- Last 10 years (45)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Manuel Clavel, Miguel Palomino, Adrián Riesco
- J. UCS
- 2006

We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce membership equational logic as a formal language particularly adequate for specifying and verifying semantic data structures, such as ordered lists, binary search trees, priority… (More)

- Adrián Riesco, Alberto Verdejo
- Electr. Notes Theor. Comput. Sci.
- 2009

The Enhanced Interior Gateway Routing Protocol (EIGRP) is an advanced distance-vector routing protocol, with optimizations to minimize both the routing instability incurred after topology changes, as well as the use of bandwidth and processing power in the router. This paper presents an executable specification using the rewriting logic based language… (More)

- Adrián Riesco, Juan Rodríguez-Hortalá
- PEPM
- 2010

Non-strict non-deterministic functions are one of the most distinctive features of functional-logic languages. Traditionally, two semantic alternatives have been considered for this kind of functions: call-time choice and run-time choice. While the former is the standard choice of modern implementations of FLP, the latter lacks some basic properties--mainly… (More)

- Adrián Riesco, Juan Rodríguez-Hortalá
- Electr. Notes Theor. Comput. Sci.
- 2010

Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term rewriting). There, the semantics was formalized through the πCRWL calculus, and a program transformation to simulate… (More)

- Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
- J. Log. Algebr. Program.
- 2008

Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the wrong statement. This paper presents the fundamentals for the declarative debugging of rewriting logic… (More)

- Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
- Electr. Notes Theor. Comput. Sci.
- 2009

A declarative debugger for Maude functional modules, which correspond to executable specifications in membership equational logic, is presented. Starting from an incorrect computation, declarative debugging builds a debugging tree as a logical representation of the computation, that then is traversed by asking questions to an external oracle until the error… (More)

- Adrián Riesco
- WADT
- 2010

Testing takes much of the time of the software development process, so several efforts have been devoted to automate it. We present here a tool that is able to generate test cases for Maude functional modules, and check their correctness with respect to a given specification or select a subset of these test cases to be checked by the user by using different… (More)

Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the error. Membership equational logic (MEL) is an equational logic that in addition to equations allows to state of… (More)

- Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
- WADT
- 2012

A formal executable semantics of a programming language has the necessary information to develop program debugging and reasoning techniques. In this paper we choose such a particular technique called program slicing and we introduce a generic algorithm which extracts a set of side-effects inducing constructs, directly from the formal executable semantics of… (More)