Special issue of Information and Computation
on
Functional and (Constraint) Logic Programming


Scope

Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications and combinations of high-level, declarative programming languages and related areas.

This special issue is devoted to contributions which aim at realizing integrations of the two classical declarative paradigms: functional programming and (constraint) logic programming. Contributions on functional programming or (constraint) logic programming are also welcome but they should discuss and effectively justify their usefulness to the integration of both paradigms.

Submissions

Submitted papers must be original and not submitted for journal publication elsewhere, and will be subject to the standard journal refereeing process of the Information and Computation journal.

Submissions must be sent in pdf format to sescobar@dsic.upv.es, no later than

May 6th, 2011

The notification is scheduled for two months later. We encourage the use of Elsevier's elsarticle.cls latex macro package, available here. The cover page of the submission should include the following information:

Guest Editors

Moreno Falaschi
Dipartimento di Scienze Matematiche e Informatiche
Facoltà di Scienze MM.FF.NN.
Università di Siena
Italy.

Santiago Escobar
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera, 14
Apdo. 22.012
E-46022 Valencia (Spain)