Global flow analysis as a practical compilation tool

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

On the practicality of global flow analysis of logic programs

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

Global analysis of standard prolog programs

Abstract interpretation-based data-flow analysis of logic programs is, at this point, relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs which use the full power of the language.

Programming with global analysis

Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity. A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date. Such incorporation arguably makes good sense only if: • the range of applications of global analysis is large enough to justify the additional complication in the compiler, and • global analysis technology can deal with all the features of "practical" languages (e.g., the ISO-Prolog built-ins) and "scales up" for large programs. We present a tutorial overview of a number of concepts and techniques directly related to the issues above, with special emphasis on the first one. In particular, we concéntrate on novel uses of global analysis during program development and debugging, rather than on the more traditional application área of program optimization. The idea of using abstract interpretation for validation and diagnosis has been studied in the context of imperative programming [2] and also of logic programming. The latter work includes issues such as using approximations to reduce the burden posed on programmers by declarative debuggers [6, 3] and automatically generating and checking assertions [4, 5] (which includes the more traditional type checking of strongly typed languages, such as Gódel or Mercury [1, 8, 9]) We also review some solutions for scalability including modular analysis, incremental analysis, and widening. Finally, we discuss solutions for dealing with meta-predicates, side-effects, delay declarations, constraints, dynamic predicates, and other such features which may appear in practical languages. In the discussion we will draw both from the literature and from our experience and that of others in the development and use of the CIAO system analyzer. In order to emphasize the practical aspects of the solutions discussed, the presentation of several concepts will be illustrated by examples run on the CIAO system, which makes extensive use of global analysis and assertions.

Consultoría en el marco económico-financiero de la empresa

Muchas de las grandes iniciativas empresariales, se ven truncadas por falta de un adecuado análisis económico-financiero. Incluso, muchas grandes ideas no son implantadas correctamente en el primer intento por este motivo, y son otras personas las que consiguen posteriormente el éxito de esas brillantes ideas gracias a una correcta aproximación financiera. Las empresas necesitan definir sus objetivos, establecer las para lograrlos, identificar las personas responsables de su ejecución (sus roles y funciones) y elaborar un plan económico-financiero que recoja el estudio de inversiones necesarias, el análisis de costes, la previsión de ingresos, así como la estrategia financiera más adecuada para la captación de los fondos necesarios para llevar a cabo las acciones programadas. Una vez iniciado el proyecto empresarial, será imprescindible realizar un seguimiento y control de la evolución (integración), tomando las medidas que se estimen oportunas para mantener el rumbo adecuado durante todo el tiempo de actividad. En este trabajo, aplicaremos las metodologías y buenas prácticas de la gestión de proyectos, como marco estructurado que nos permita abordar las principales cuestiones económico-financieras a tener en cuenta a la hora de enfrentarnos a un proyecto empresarial, para contribuir, en la medida de lo posible, a que los emprendedores tengan en cuenta estas cuestiones, facilitando así el desarrollo de negocios, en un difícil entorno económico de crisis como el que actualmente estamos viviendo en España, y animando de esta manera a optar por la iniciativa emprendedora, tratando de minimizar el riesgo en base al contenido. ---ABSTRACT---Lack of adequate economic and financial analysis truncates many of the entrepreneurship and innovation programs. Because of that reason, many great ideas are not even correctly implemented on the first attempt, and the person who finds the proper financial approach, succeed. All the enterprises have to establish clear objectives, actions to accomplish those objectives, assign roles, responsibilities and executive functions to specific people. Elaborate funding plan that contains surveys on necessary investments, cost analysis, estimate the income, liquid assets and also financial strategy suitable for fundraising to finance programmed actions. Once the project has been executed it is essential to monitor and control the development and integration adopting measures accordingly to the needs. This thesis applies methodology and best practice of project management as structured framework for the principal economic and financial issues facing business project. It is necessary contribution to entrepreneurs understanding of business, therefore facilitates business development in such rough environment as Spain is at this moment, and at the same time encourages adopting entrepreneur’s solution as less risky one. This document aims to explore all the economic and financial issues from methodological point of view based on my own professional experience, resulting in helping to understand the importance that economy and finances have in developing adequate corporate strategy. Crisis has highlighted inadequate functionality of many companies. Most popular first symptom is lack of cash flow that deteriorates the company, and results in suspension of payments followed by closing. In other cases, difficulties appear due to poor financial management of committed resources; to be observed in lack of prevision and planning or incorrect basic functionality and operational matters on daily basis. What would be your advice to someone who have magnificent business idea however no knowledge on how to handle finances in order to succeed in initiating and executing the project? Despite of the fact that the central nucleus of this paper is at economics and finances area, all the other concepts and topics given during master will be revived; for example business strategy, consultants abilities, organization and standard processes, among others, are impregnated with knowledge of project management.