Search the dblp DataBase

Publications of Author

1. Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez
   Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. [Citation Graph (0, 0)][DBLP]
   JISBD, 2005, pp:253-258 [Conf]
   
2. Simon Marlow, José Iborra, Bernard Pope, Andy Gill
   A lightweight interactive debugger for haskell. [Citation Graph (0, 0)][DBLP]
   Haskell, 2007, pp:13-24 [Conf]
   
3. Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas
   Proving Termination of Context-Sensitive Rewriting with MU-TERM. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:105-115 [Journal]
   
4. 
   Termination of Narrowing Using Dependency Pairs. [Citation Graph (, )][DBLP]
   
   
5. 
   Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. [Citation Graph (, )][DBLP]
   
   
6. 
   Explicitly Typed Exceptions for Haskell. [Citation Graph (, )][DBLP]
   
   
7. 
   Modular Termination of Basic Narrowing. [Citation Graph (, )][DBLP]
   
   
8. 
   Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. [Citation Graph (, )][DBLP]