El hombre es siempre igual; los sistemas que crea son siempre imperfectos, y tanto más imperfectos cuanto más seguro está de sí mismo.» ...

   

Desead incluso ser perfectos como lo es Él, porque Él es perfecto. Sí: «Sed, pues, vosotros perfectos como es perfecto vuestro Padre celestial »

   

JUAN PABLO II

Gustavo Arroyo Delgado

garroyo (at) dsic.upv.es   /   garroyo (at) ciidet.edu.mx

Research Interests:

Por tanto, defender la verdad, proponerla con humildad y convicción y testimoniarla en la vida son formas exigentes e insustituibles de caridad.» ...

Multi-Paradigm Declarative Programming, the language Curry.

Specification languages, CNC programmingpartial evaluation. Specialization of interpreters.

BENEDICTO XVI
 
 
 
Member of the MIST / ELP / GPLIS research groups at DSIC  

Address at CIIDET

Centro Interdisciplinario de Investigación y Docencia en Educación Técnica.

Av. Universidad 282 Pte., Col. Centro., C.P. 76000,

Santiago de Querétaro, Qro., México

unos verdaderos ojos valencianos, que les comían gran parte de la cara, rasgados, luminosos, sin fondo, con curiosidad insolente algunas veces, lánguidos otras, y cercados por la ojera tenue y azul, aureola de la pasión.» ...

Phone/Fax  

Vicente Blasco Ibáñez

+52 (442) 216 3748, ext. 475.  Fax ext. 100    

Publications:


Software:

I have had the opportunity to work mainly with offline partial evaluation, specifically with the functional logic language Curry, into the development system PAKCS (Version 1.7.3), so I have participated in the next developments:

·         A simple monovariant Binding-Time Analyzer (BTA) for the metalaguage

·         An Offline Narrowing-Driven Partial Evaluator (v0.1). It ensures termination applying the size-change graphs principle, and it is able to annotate programs using either the non-increasing syntactic characterization that is detailed in the paper Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems, or the size-change graphs principle which is explained in the paper Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs.

·         A new control strategies for the Offline Narrowing-Driven Specialization has been undertaken. Here we show a pure offline partial evaluator compared with a hybrid offline and online partial evaluators inclusive. We show a benchmark results also, details are explained in this paper Offline Narrowing-Driven Specialization in Practice.

 

Implementation of a compiler for Gauss language:

·         The implementation of this compiler was made as a course project at the CINVESTAV-IPN in 1987. The work was: translate the compiler of Gauss language from PL/I to Pascal and understand it, the source code was taken from the book entitled "An implementation guide to compiler writing" by Jean Paul Tremblay and Paul G. Sorenson. The compiler is totally didactic and is used by students of the Department Science at the University of Saskatchewan in Canada, according to the authors of the book.


PhD Thesis:

Title: Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones.

Author: Gustavo Arroyo Delgado.

Advisors: Germán Vidal Oriola y J. Guadalupe Ramos Díaz.

Date of thesis defense: 2012-10-25

Distinction of honor granted: APTO "CUM LAUDE"


Teaching:

 
CIIDET
INSTITUTO TECNOLÓGICO DE QUERÉTARO
UNIVERSIDA MARISTA DE QUERÉTARO

Diseño de Procesos de Aprendizaje

Diplomado en Competencias Docentes Basicas

Taller de Investigación I

Ingeniería Mecatronica

Métodos Numéricos

Ingenierías

Métodos y Técnicas de Aprendizaje

Diplomado en Competencias Docentes Basicas

Métodos Numéricos

Ingeniería en Sistemas Computacionales

Informática

Ingenierías

Métodos y Técnicas Didácticas Aplicadas en el Enfoque por Competencias

Educación Continua

 

Matematicas I

Ingenierías

   

Ecuaciones Diferenciales

Ingenierías


     Last update 07/25/2013  /  garroyo (at) dsic.upv.es/ garroyo (at) ciidet.edu.mx