Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas

The CIAO multiparadigm compiler and system: A progress report

Abstract is not available

Sobre algunas técnicas de aproximación usadas en diseño asistido por computador

Las conclusiones de este TFG indican que los nuevos esquemas de subdivisión no lineal que se han presentado tienen las siguientes propiedades:1.son esquemas de interpolación ternarios , que convergen hacia funciones de regularidad superior a uno. 2.si los datos iniciales provienen de discretizar una función discontinua, las funciones límite no oscilan, a diferencia de lo que ocurre en los clásicos esquemas interpolatorios lineales. 3.las transformadas multiresolución asociadas son estables. Y constituyen la primera familia de esquemas que comparten simultáneamente esas propiedades tan deseables.Escuela Técnica Superior de Ingeniería de TelecomunicaciónUniversidad Politécnica de Cartagen

Combined static and dynamic assertion-based debugging of constraint logic programs

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions for expressing properties of programs. We define several assertion schemas for writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time (i.e., statically) or run-time (i.e., dynamically). We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the pecifications. Finally, we report briefly on the currently implemented instances of the generic framework

Medición de la Cultura Organizacional

Organizational culture is an aspect that becomes more and more relevant, since it is influenced by the continuous changes of the environment. Therefore, measuring organizational culture allows to determine the impact that this has on the company results. Then, the object of the study is to make an analysis of document review to provide updated information of the ways in which is measured. To achieve the objective 41 published documents are identified, between 2005 and 2015, in digital databases such as Scielo, Redalyc and ProQuest. Subsequently, empirical studies, identified on measuring of organizational culture, are synthesized and grouped according to the factors of Morelos and Fontalvo, and according to characteristics of Robbins and Judgey. Finally, the ways in which organizational culture is measured and the percentage participation of the variables of influence in the studies reviewed are determined. The results show that the organizational culture is measured in relation to strategy, structure, group work, owners, leadership, innovation, orientation results and guidance to people. Finally, it is concluded the importance of conducting studies about measurement of organizational culture by identifying new models, methods, tools and variables. La cultura organizacional es un aspecto que adquiere cada vez mayor relevancia, ya que se ve influenciada por los continuos cambios del ambiente. Por ende, medir la cultura organizacional permite conocer el impacto que esta tiene sobre los resultados de la empresa. Entonces, el objeto de estudio es realizar un análisis de revisión documental para contar con información actualizada de las formas en que se la mide. Para cumplir el objetivo se identifican 43 documentos publicados, entre los años 2005 y 2015, en las bases digitales Redalyc, Scielo y ProQuest. Luego, se sintetizan los estudios empíricos, identificados sobre medición de la cultura organizacional, agrupándolos de acuerdo a los factores de Morelos y Fontalvo y, las características de Robbins y Judgey. Finalmente, se determinan las formas en que se mide la cultura organizacional e identifica la participación porcentual de las variables de influencia en los estudios revisados. Los resultados obtenidos muestran que la cultura organizacional se mide en relación a la estrategia, estructura, trabajo en grupo, liderazgo, propietarios, innovación, orientación a resultados y, orientación a personas. Por último, se concluye la importancia de realizar estudios sobre medición de la cultura organizacional identificando nuevos modelos, métodos, instrumentos y variables.&nbsp

“Causas que generan la conducta rebelde de los estudiantes del Instituto Nacional de Educación Básica de San Lorenzo”.

Rebellion is not an issue that is considered recent, has always been present for generations, parents have had to deal with these problems, based on the experience acquired in childhood. When the child becomes an adult, he faces a period of physical and mental changes that can make this time the best or worst for both the teen and the parents. This change is called adolescence is marked by the growth and development of the body and reproductive organs. Physical growth presents teen voice changes, muscle growth and development of certain glands in the body. In men it is common to notice the voice change, broadening the shoulders and the growth of pubic hair. In the ladies breast growth occurs, hips like weight and size, also appears the first period. With the onset of first menstruation in adolescents, it sets the tone for the girl entered his sexual reproductive stage; although it is an early stage because it needs certain internal body parts come in top condition. The psychological changes are marked in the manner of conduct now teenagers, anxiety disorders can show shyness and the worst, default. It is therefore important to know what are the causes of this rebellion, to work them properly, thus achieving sensitize the future adult. It is vital to show the teenager who has the full support of parents, making them feel wanted and loved. It is also good to create that bond between parent and child. thousands of ways in which you can raise young people may exist, but depend on the method you choose

A framework for assertion-based debugging in constraint logic programming

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of programs. We define assertion schemas which allow writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time or run-time. We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the specifications. Finally, we report on an implemented instance of the assertion language and framework

An assertion language for debugging of constraint logic programs

Abstract is not available

Impacto del plan de atención al paciente con ictus de la Comunidad de Madrid en la evolución organizativa y asistencial de la enfermedad : análisis del periodo 2008-2015

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Facultad de Medicina, Departamento de Medicina. Fecha de lectura: 1-09-201