Welcome to the Research Group

DEC^t

Declarative Programming and Automatic Program Transformation
(Programación DEClarativa y Transformación AUtomática de Programas)

  [ Activities Members Projects Publications ]
 
 
 
 

The DEC^t research group was set up in October 2000 in the University of Castilla-La Mancha by researchers who were trained in the ELP (Extensions of Logic Programming) research group of the Technical University of Valencia. The cooperation between the two groups is still very active with joint work in progress and regular meetings.The group DEC^t also collaborates with the University of Udine (Italy) through several research projects and the Integrated Action HI2000-0161.

The current activity (see here for detailled info about our doctoral courses) is mainly oriented to:

Together with the ELP group of the Technical University of Valencia and the University of Udine, we have developed a transformation system for lazy functional logic programs. The transformation rules are based on needed narrowing and an automatic composition strategy is available. The prototipe is written in Prolog and interacts with the user by means of a graphical interface written in Java. Here you can find more information about the SYNTH tool.

In the area of Fuzzy Logic Programming we have developed a tool called FLOPER. This prototype system is written in Prolog and it is able (among other thing) to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. In this link you can find more information about the FLOPER tool.
 
 
 

PhD Thesis

• P. Julián.
• 
  Specialization of Lazy Functional Logic Programs.
  Advisor: María Alpuente.
  Departamento de Sistemas Informáticos y Computación,
  Universidad Politécnica de Valencia, May 2000. (In spanish)
  Available: Abstract /PostScript/ BibTeX entry

• G. Moreno.
• 
  Rules and Strategies for Transforming Funtional-Logic Programs.
  Advisors: María Alpuente and Germán Vidal.
  Departamento de Sistemas Informáticos y Computación,
  Universidad Politécnica de Valencia. May, 2000. (In Spanish).
  Available: Abstract / PostScript/ BibTeX entry
  

Journals

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2004) "Rules + Strategies" for Transforming Lazy Functional Logic Programs. Theoretical Computer Science, Vol 311, pp. 479-525. Elsevier Science (Amsterdam).
  Available: Abstract / PDF/ Online article / BibTeX entry
  

• P. Julián (2003) Partial Evaluation of Lazy Functional Logic Programs. "Artificial Intelligence Communications", Vol 16 (1):3, IO Press (Amsterdam).
  

• G. Moreno, (2003) A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations. Electronic Notes in Theoretical Computer Science, Vol.86 (No. 3) (http://www.elsevier.nl/locate/entcs/volume86.html). pp 24. Elsevier Science (Amsterdam). (Extended version of a previous paper in WFLP 2003)
  Available: Abstract / PostScript /BibTeX entry
  

• M.Alpuente, M. Falaschi, P. Julián, G. Vidal. (2002) Uniform Lazy Narrowing. Submitted for publication to Journal of Logic and Computation. pp. 15.
  Available: Abstract (dvi/Postscript/pdf).  
  

• P. Julián (2002). Especialización Automática de Programas y sus Aplicaciones. Submitted for publication to  Novática. pp. 12.
  Available:  Abstract (in spanish -- dvi/Postscript/pdf).
  

• G. Moreno (2002) Transformation Rules and Strategies for Functional Logic Programs. "Artificial Intelligence Communications", Vol 15 (Nos. 2,3), pp. 163-165, (ISSN 0921-7126). IO Press (Amsterdam).
  Available: Abstract / PostScript /BibTeX entry
  

• Sergio Antoy, Pascual Julián Iranzo and Bart Massey.  Improving the Efficiency of Non-Deterministic Computations. Electronic Notes in Computer Science, Vol.64 (http://www.elsevier.nl/locate/entcs/volume64.html). pp 22. Elsevier Science, 2002. (Extended version of a previous paper in WFLP 2001)
  Available:dvi/Postscript/pdf/bibtex . Also, you can find here some benchmark programs used in the experiments.
  

• M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal (1999) Un Sistema de Transformación para Programas Multiparadigma. Revista Iberoamericana de Inteligencia Artificial, Vol 8, pp. 27-35,  Asociación Española para la Inteligencia Artificial (AEPIA).
  Available: Abstract / PostScript /BibTeX entry
  

• M. Alpuente, M. Falaschi, P. Julián, G. Vidal. (1997) Specialization of Lazy Functional Logic Programs. ACM SIGPLAN Notices, Vol. 32(12) pp.151-162. The Association for Computing Machinery, New York, 1997.
  Available: dvi/Postscript/pdf/bibtex
  

• G. Moreno, P. González, J.A. Gámez. (1993) Parallel Algorithm for Table Division in Relational Databases. Microprocessing and Microprogramming 39, pp. 169-172. North-Holland. Elsevier Science (Amsterdam)
  Available: Abstract
  

Conferences

• P.Julián (2003) Refined Definitional Trees and Prolog Implementation of Narrowing. Proceedings of the 12th International Workshop on Functional and Logic Programming (WFLP'03), Valencia, Spain. June 8-14, 2003. pp. 117-129. Technical University of Valencia. 2003.
  

• G. Moreno, (2003) A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations. Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03), Valencia, Spain. June 12-13. pp. 130-143. Technical University of Valencia (DSIC). Technical Report DSIC-II/13/03. ISBN 84-96221-02-4.
  Available: Abstract / PostScript /BibTeX entry
  

• Maria Alpuente, Moreno Falaschi, Pascual Julián and Germán Vidal.  Lazy Narrowing and Needed Narrowing: A Comparison. Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, Jun. 20-22, 2002. pp. 13. Udine University, 2002. (to appear).
  Available:  dvi/Postscript/pdf / bibtex .
  

• G. Moreno, (2002) Automatic Optimization of Multi-Paradigm Declarative Programs. Proc. of the The 8th Ibero-American Conference on Artificial Intelligence (IBERAMIA'02), Sevilla, Spain. November 12-15. Lecture Notes in Artificial Intelligence 2527, pp 131-140. Springer-Verlag
  Available: Abstract / PostScript /BibTeX entry
  

• G. Moreno, (2002) Incremental Tupling in a Functional-Logic Setting. Proc. of Segundas Jornadas de Lenguajes de Programación" (PROLE'02), El Escorial, Spain. November 21-22. pp. 103-118. Technical University of Madrid.
  Available: Abstract /PostScript/BibTeX entry
  

• S. Antoy, P.Julián, B. Massey. (2001) Improving the Efficiency of Non-Deterministic Computations. Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, Sept. 13-15, 2001. pp. 17-30. Kiel University. 2001.
  Available:dvi/Postscript/pdf/bibtex
  

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2000) An Automatic Composition Algorithm for Functional Logic Programs. Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'2000), Milovy, Czech Republic. November 25 - December 2. Lecture Notes in Computer Science 1963, pp. 89-297.Springer-Verlag
  Available: Abstract / PostScript/ BibTeX entry
  

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal. (2000) Using Partial Evaluation to Automate Program Composition.Proc. of the 9th International Whorshop on Functional and (Constraint) Logic Programming, WFLP'2000, Benicassim, (Spain). Sept. 28-30, 2000. pp. 169-183. Technical University of Valencia. 2000.
  Available: PostScript
  

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1999). A Transformation System for Lazy Functional Logic Programs. Proc. of the 4th International Symposium on Functional and Logic Programming, FLOPS'99, Tsukuba, (Japan). Nov. 11-13, 1999. pp. 147-162. Lecture Notes in Computer Science 1722. Springer-Verlag.
  Available: Abstract / BibTeX entry
  

• E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal. (1998) Improving Control in Functional Logic Program Specialization. . Proceedings of Static Analysis Symposium, SAS'98, Pisa (Italy), Sept. 14-18,1998. pp. 262-277. Springer - Verlag LNCS. 1998.
  Available: dvi/Postscript/pdf/bibtex
  

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1997). Safe Folding/Unfolding with Conditional Narrowing. Proc. of the 6th International Conference on Algebraic and Logic Programming , ALP'97, Southampton (UK).  Lecture Notes in Computer Science 1298, pp. 1-15. (Extended version of a previous paper in AGP'97) Springer-Verlag.
  Available: Abstract / BibTeX entry
  

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (1997). Safe Folding/Unfolding with Conditional Narrowing. Proc. of the AGP'97 Joint Conference on Declarative Programming, Grado (Italy). June 16-19, 1997. University of Udine.
  Available: PostScript
  

• G. Moreno, T. Rojo, P.González (1994). Diseño e implementación de un lenguaje inmerso en una base de datos relacional. Proc. of the 4º Congreso Internacional de Nuevas Tecnologías de La Habana, La Habana, Cuba. February 21-16. IFIP. (21 pages).
  Available: Abstract
  

• G. Moreno, P.González, J.A. Gámez (1993). Parallel Algorithm for Table Division in Relational Databases. Microprocessing and Microprogramming (Euromicro'93), Barcelona, Spain. September 6-9. Technical University of Catalonia. (4 pages).
  Available: Abstract
  

• G. Moreno, J.A. Gámez, F. Cuartero (1993). BAREL: un lenguaje de manipulación de datos basado en el álgebra relacional. Proc. of the Segundas Jornadas de Ingeniería de Sistemas y Computación, Quito, Ecuador. April 12-16. National Technical University. pp 55-64.
  Available: Abstract
  

Technical Reports

• #DIAB-04-03-1 S. González, G. Moreno. Combining Composition and Tupling for Optimizing Declarative Programs. (9 pages). Departamento de Informática, UCLM, 2004.
  Available: PostScript
  

• #DIAB-04-03-2 P.Julián, G. Moreno, J. Penabad. Unfolding Fuzzy Logic Programs. (27 pages). Departamento de Informática, UCLM, 2004.
  Available: PostScript
  

• #DIAB-02-07-27 G. Moreno. A Safe Transformation System for Optimizing Functional Programs. (19 pages). Departamento de Informática, UCLM, 2002.
  Available: PostScript
  

• #DIAB-02-07-24 G. Moreno. Automatic Tupling for Functional-Logic Programs. (25 pages). Departamento de Informática, UCLM, 2002.
  Available: PostScript
  

• #II-DSIC-31/00 P.Julián.La Evaluación Parcial: qué es y para qué sirve. ( 17 pages). Departamento de Sistemas Informáticos y Computación, UPV, 2000. (extended version of "Especialización Automática de Programas y sus Aplicaciones".)
  Available: (in spanish) dvi/Postscript/pdf/bibtex
  

• #II-DSIC-23/99 M. Alpuente, M. Falaschi,G. Moreno, G. Vidal.Transformation-based Strategies for Lazy functional Logic Programs, (26 pages). Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999.
  Available: PostScript
  

• #II-DSIC-16/99 M. Alpuente, M. Falaschi,C. Ferri, G. Moreno, G. Vidal, I. Ziliotto. The Transformation System SYNTH, (16 pages). Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1999.
  Available: PostScript
  

• #II-DSIC-18/99. M. Alpuente, M. Falaschi, P. Julián, G. Vidal. Técnicas de Evaluación Parcial Perezosa en Programas Uniformes. (65 pages). Departamento de Sistemas Informáticos y Computación, UPV, 1999.
  Available: (in spanish) dvi/Postscript/pdf/bibtex
  

• #II-DSIC-2/97 E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal Improving Control in Functional Logic Program Specialization (extended version, 34 pages). Departamento de Sistemas Informáticos y Computación, UPV, 1998.
  Available: dvi/Postscript/pdf/bibtex
  

• Forschungsbericht \#96-28 (research report). M. Alpuente, M. Falaschi, P. Julián, G. Vidal.Call-by-Name Specialization of Functional Logic Programs. In Manuel M.T. Chakravarty, Yike Guo and Tetsuo Ida, editors, Proceedings of the JICSLP1996 Post-Conference Workshop on Multi-Paradigm Logic Programming, Bonn (Germany), Sept. 5-6, 1996. pp. 10. Fachbereich Informatik, Technische Universität Berlin, 1996.
  

• #II-DSIC-13/96 P.Julián, G. Moreno.Nuevas semánticas para programas lógico-ecuacionales: teoría e implementación, (169 pages). Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia. 1996.
  Available: (A (basic) narrowing interpreter implemented using some ideas developed in this work. The interpreter is written in C -- interpreter)
  

• #II-DSIC-25/95. P.Julian.Una nueva Semántica Operacional para Programas Lógico Ecuacionales. ( 34 pages). Departamento de Sistemas Informáticos y Computación, UPV. 1995