J.Guadalupe Ramos D.

	J Guadalupe Ramos (guadalupe@dsic.upv.es) Member of the MIST/ELP/PLIS research group, where I am a PhD student. The name of the PhD program is: "Declarative Programming and Programming Engineering" Director: Dr. Germán Vidal
Address J. Guadalupe Ramos Díaz Departamento de Sistemas Informáticos y Computación (DSIC) Universidad Politécnica de Valencia (UPV) Camino de Vera s/n, E-46022 Valencia, Spain Floor 2, Laboratory 202 Phone/Fax +34 96 387 7007 (Ext. 73537) Email guadalupe@dsic.upv.es
	Research Interests My main interests are domain-specific languages and partial evaluation. I have been working lately in domain-specific embedded languages and offline partial evaluation. Other interests are related with declarative programming, particularly in functional and functional-logic paradigms. Software At MIST, we have developed some tools devoted to analyse and transform functional logic programs, i.e., Curry programs. Those tools run in Pakcs 1.6.0, and they are: A binding-time analyser for Flat programs: flatBta The first approach to offline narrowing-driven partial evaluation, which was developed making slight changes over the original online narrowing-driven partial evaluator. This first attempt is here: offpeval_V.0.1 An offline partial evaluator. Theory and benchmarks related to this tool are publishied in our ICFP'05 paper. A broad explanation of the tool appears in our WCFLP'05 paper. The version with last changes is here: OffPeval An annotating tool, for the pre-processing stage of the previous offline partial evaluator: ann A domain specific embedded language for specification of software routers (for simulation), the library is here: rose, and an example in: router. For a complete description you can find here a report. In the above links you can find a tar file, which contains the source code of each tool, a directory with examples and, of course, a HOWTO file with the instructions of the use. Recently we have improved the pre-processing phase of the offline partial evaluator. For this, we developed a new annotating tool based on the size-change graphs formalism. The adaptation of the size-change graphs formalism to functional-logic languages appears in our LOPSTR'06 paper. The tool runs in the newest version of Pakcs 1.7.1. A broad explanation here. Publications J. Guadalupe Ramos, Josep Silva, Germán Vidal An Embedded Language Approach to Router Specification in Curry International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004), Czech Republic. Springer LNCS 2932, pp. 277-288, 2004. © Springer-Verlag J. Guadalupe Ramos, Josep Silva, Germán Vidal Towards Router Specification in Curry: The Language ROSE Terceras Jornadas de Programación y Lenguajes (PROLE 2003), Alicante (Spain). Papers are available at this page:

Research Interests

My main interests are domain-specific languages and partial evaluation. I have been working lately in domain-specific embedded languages and offline partial evaluation. Other interests are related with declarative programming, particularly in functional and functional-logic paradigms.

Software

At MIST, we have developed some tools devoted to analyse and transform functional logic programs, i.e., Curry programs. Those tools run in Pakcs 1.6.0, and they are:

A binding-time analyser for Flat programs: flatBta

The first approach to offline narrowing-driven partial evaluation, which was developed making slight changes over the original online narrowing-driven partial evaluator. This first attempt is here: offpeval_V.0.1

An offline partial evaluator. Theory and benchmarks related to this tool are publishied in our ICFP'05 paper. A broad explanation of the tool appears in our WCFLP'05 paper. The version with last changes is here: OffPeval

An annotating tool, for the pre-processing stage of the previous offline partial evaluator: ann

A domain specific embedded language for specification of software routers (for simulation), the library is here: rose, and an example in: router. For a complete description you can find here a report.

In the above links you can find a tar file, which contains the source code of each tool, a directory with examples and, of course, a HOWTO file with the instructions of the use.

Recently we have improved the pre-processing phase of the offline partial evaluator. For this, we developed a new annotating tool based on the size-change graphs formalism. The adaptation of the size-change graphs formalism to functional-logic languages appears in our LOPSTR'06 paper. The tool runs in the newest version of Pakcs 1.7.1. A broad explanation here.

Publications

J. Guadalupe Ramos, Josep Silva, Germán Vidal
An Embedded Language Approach to Router Specification in Curry
International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004), Czech Republic. Springer LNCS 2932, pp. 277-288, 2004.
© Springer-Verlag

J. Guadalupe Ramos, Josep Silva, Germán Vidal
Towards Router Specification in Curry: The Language ROSE
Terceras Jornadas de Programación y Lenguajes (PROLE 2003), Alicante (Spain).

Papers are available at this page: