Papers by Ascánder Suárez
We present in this paper an extension to the ML type system by which it is possible to statically... more We present in this paper an extension to the ML type system by which it is possible to statically estimate all untrapped exceptions that can be raised by executing a program. This type system can handle polymorphic information on exceptions. A prinicipal extended type exists and can be computed for any well-typed expression.
payment of fee is granted for non-profit educational and research purposes provided that all such... more payment of fee is granted for non-profit educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying
... BibTeX | Add To MetaCart. @MISC{Chailloux_mlpictex,a, author = {Emmanuel Chailloux and Ascánd... more ... BibTeX | Add To MetaCart. @MISC{Chailloux_mlpictex,a, author = {Emmanuel Chailloux and Ascánder Suárez}, title = {mlPicTEX, a picture environment for LATEX}, year = {} }. ... Citations. 7, The Caml Light System, Release 0.5. Documentation and User's Leroy, Mauny - 1992. ...
We present a method for compiling pattern matching on lazy languages based on previous work of Hu... more We present a method for compiling pattern matching on lazy languages based on previous work of Huet and Lévy and, later on, Laville by coding ambiguous linear sets of patterns using “Term Decomposition”, and producing non ambiguous sets over terms with structural constraints on variables. The method can also be applied on strict languages giving a match algorithm with no useless work when such a match exists.
Resumen. En la Universidad Simon Bolivar se promueven varias iniciativas en el area de elearning,... more Resumen. En la Universidad Simon Bolivar se promueven varias iniciativas en el area de elearning, tales como cursos en linea de postgrado, del Programa de Perfeccionamiento Profesional y de la carrera Gerencia Empresarial. Este articulo tiene como objetivo presentar un plan de trabajo para adoptar estandares de elearning en la creacion de un curso en linea. Se realiza una revision de la literatura sobre estandares de elearning dentro de las perspectivas de apoyo a la gerencia, de tecnologia educativa y sobre las mejores practicas en esta area. A partir de esta revision se considera una determinada seleccion de estandares, especificaciones y/o modelos de referencia para mejorar la interoperabilidad y reusabilidad de los recursos educativos, asi como tambien se propone la creacion de un repositorio de contenidos.
Several methodologies have been proposed to improve the quality of Web application development in... more Several methodologies have been proposed to improve the quality of Web application development in the last decade. Some proposals provide techniques and mechanisms to specify the product model; others are focused on process development models. However, few approaches have suggested methods adapted to different situations and development circumstances. Besides, some industrial and academic methods are not flexible enough to react according to the different situations and projects conditions to be developed. These conditions may include application type and complexity, models to be created, development team characteristics, technological resources among others. This paper presents WEBFDM, a method grounded on Situational Method Engineering principles for the development of web applications and a CASE Tool -- COHESIÓN. The KANON framework, used to characterize Web development situations, is also described.
Lecture Notes in Computer Science, 1986
Nous présentons une technique d'implémentation des langages de programmation fonctionnels... more Nous présentons une technique d'implémentation des langages de programmation fonctionnels fondée sur l'utilisation des Combinateurs Catégoriques. Contrairement à d'autres techniques d'implémentation utilisant des combinateurs, notre approche ne débouche pas sur une machine à réduction mais sur une machine de type Von Neumann dont les termes formés de combinateurs catégoriques sont en quelque sorte le code. Notre machine, que nous appelons
Lecture Notes in Computer Science, 1993
Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86, 1986
The authors define formal specifications for the algorithms of Depth-First Search (DFS) and Bread... more The authors define formal specifications for the algorithms of Depth-First Search (DFS) and Breadth-First Search (BFS). King and Launchbury demonstrated that the algorithms of DFS and BFS satisfy three properties without trying to give complete properties to define DFS and BFS. The specifications proposed by this work are complete, because it is possible to derive imperative algorithms of DFS and
USENIX Technical Conference, 1989
ABSTRACT Résumé disponible dans les fichiers attachés
Journal of Symbolic Computation, 1993
We present a method for compiling pattern matching on lazy languages based on previous work by La... more We present a method for compiling pattern matching on lazy languages based on previous work by Laville and Huet-Lévy. It consists of coding ambiguous linear sets of patterns using "Term Decomposition," and producing non ambiguous sets over terms with structural constraints on variables. The method can also be applied to strict languages giving a match algorithm that includes only unavoidable tests when such an algorithm exists. Résumé Nous présentons une méthode de compilation de l'appel par filtrage pour les langages paresseux dans le prolongement du travail de Laville et Huet-Lévy. Nous transformons des ensembles ambigus de motifs linéairesà l'aide de la "Décomposition des Termes" pour produire des ensembles non-ambigus de termes dont les variables sont munies de contraintes structurelles. Cette méthode peut aussiêtre appliquéeà des langages stricts et donne un algorithme de filtrage ne nécessitant aucun travail inutile quand un tel filtrage existe.
Actas SPDECE, 2007
promueven varias iniciativas en el área de elearning, tales como cursos en línea de postgrado, de... more promueven varias iniciativas en el área de elearning, tales como cursos en línea de postgrado, del Programa de Perfeccionamiento Profesional y de la carrera Gerencia Empresarial. Este artículo tiene como objetivo presentar un plan de trabajo para adoptar estándares de elearning en la creación de un curso en línea. Se realiza una revisión de la literatura sobre estándares de elearning dentro de las perspectivas de apoyo a la gerencia, de tecnología educativa y sobre las mejores prácticas en esta área. A partir de esta revisión se considera una determinada selección de estándares, especificaciones y/o modelos de referencia para mejorar la interoperabilidad y reusabilidad de los recursos educativos, así como también se propone la creación de un repositorio de contenidos.
ldc.usb.ve
Resumen En este artículo se presenta una revisión del concepto de requerimiento, sus tipos, las... more Resumen En este artículo se presenta una revisión del concepto de requerimiento, sus tipos, las características y actividades del proceso de la ingeniería de requerimientos que se lleva a cabo para desarrollar aplicaciones en ambiente web. Se propone además, un ...
Proc. Conferencia IADIS …, 2007
RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de apli... more RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de aplicaciones Web basadas en Struts. La herramienta se apoya en una metodología que a partir de la identificación de los casos de uso conduce a la descripción del controlador de ...
Proc. Conferencia IADIS …, 2007
RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de apli... more RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de aplicaciones Web basadas en Struts. La herramienta se apoya en una metodología que a partir de la identificación de los casos de uso conduce a la descripción del controlador de ...
ldc.usb.ve
Resumen En este artículo se presenta una revisión del concepto de requerimiento, sus tipos, las... more Resumen En este artículo se presenta una revisión del concepto de requerimiento, sus tipos, las características y actividades del proceso de la ingeniería de requerimientos que se lleva a cabo para desarrollar aplicaciones en ambiente web. Se propone además, un ...
Proc. Conferencia IADIS …, 2007
RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de apli... more RESUMEN En este artículo se presenta una herramienta de apoyo para el diseño y desarrollo de aplicaciones Web basadas en Struts. La herramienta se apoya en una metodología que a partir de la identificación de los casos de uso conduce a la descripción del controlador de ...
Uploads
Papers by Ascánder Suárez