Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000
DBLP:	db/conf/wflp/wflp2000.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 41  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Elvira Albert, Sergio Antoy, Germán Vidal. A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Elvira Albert, César Ferri, Frank Steiner, Germán Vidal. List-Processing Optimizations in a Multi-Paradigm Declarative Language.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Elvira Albert, Michael Hanus, Germán Vidal. Realistic Program Specialization in a Multi-Paradigm Language.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper María Alpuente, Santiago Escobar, Salvador Lucas. Redundancy Analyses in Term Rewriting.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. Using PE to Automate Program Composition.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Clara Benac Earle. Symbolic program execution using the Erlang verification tool.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper André Rauber Du Bois, Antônio Carlos da Rocha Costa. Functional Beans.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Harold Boley. Markup Languages for Functional-Logic Programming.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000
	Conference paper Anthony Cox, Charles L. A. Clarke. A Functional Approach to Complex Retrieval Tasks.	9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 2000	(0)	2000

Show item 1 to 10 of 41  

Your query returned 41 matches in the database.