J. Guadalupe Ramos

Learn More
An offline approach to narrowing-driven partial evaluation (a partial evaluation scheme for first-order functional and functional logic programs) has recently been introduced. In this approach, program annotations (i.e., the expressions that should be generalized at partial evaluation time to ensure termination) are based on a simple syntactic(More)
— 123 With the ever-increasing demand for higher bandwidth and processing capacity of today's space exploration, space science, and defense missions, the ability to efficiently apply commercial-off-the-shelf (COTS) processors for on-board computing is now a critical need. In response to this need, NASA's New Millennium Program office has commissioned the(More)
— 1,2 The application of commercial-off-the-shelf (COTS) processing components in operational space missions with optimal performance and efficiency requires a system-level approach. Of primary concern is the need to handle the inherent susceptibility of COTS components to Single Event Upsets (SEUs). Honeywell in conjunction with Physical Sciences(More)
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring(More)
The lowercase semantic web consists of web pages enriched with semantic special tags which are called microformats, and it is considered a pragmatic path to the Semantic Web. In this work, we present a practical approach for modeling (microformat based) semantic relations between web pages by means of classical graph like data structures, such as semantic(More)
We introduce a transformational approach to improve the first stage of offline partial evaluation of functional programs, the so called binding-time analysis (BTA). For this purpose, we first introduce an improved defunctionalization algorithm that transforms higher-order functions into first-order ones, so that existing techniques for termination analysis(More)
organización de información basado en la Web Semántica para posibilitar el diseño de reportes de productos y atributos de diferentes proveedores y detallamos los diferentes roles que pueden asumir los componentes del modelo. La elaboración de reportes precisos puede favorecer la mejor decisión de compra de los clientes e incorporar de manera masiva a(More)