Search results for "José Iborra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	María Alpuente, Santiago Escobar, José Iborra	Modular termination of basic narrowing and equational unification.	Logic Journal of the IGPL	2011	DBLP DOI BibTeX RDF
1	María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra	A compact fixpoint semantics for term rewriting systems.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	José Iborra	Explicitly Typed Exceptions for Haskell.	PADL	2010	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar, José Iborra	Termination of narrowing revisited.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	José Iborra, Naoki Nishida, Germán Vidal	Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing.	LOPSTR	2009	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar, José Iborra	Termination of Narrowing Using Dependency Pairs.	ICLP	2008	DBLP DOI BibTeX RDF
1	María Alpuente, Santiago Escobar, José Iborra	Modular Termination of Basic Narrowing.	RTA	2008	DBLP DOI BibTeX RDF
1	Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas	Proving Termination of Context-Sensitive Rewriting with MU-TERM.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Simon Marlow, José Iborra, Bernard Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
1	Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez	Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos.	DSDM	2005	DBLP BibTeX RDF
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.	JISBD	2005	DBLP BibTeX RDF

Publications of "José Iborra" ( http://dblp.L3S.de/Authors/José_Iborra )