Technoblast Australia Pty.Ltd: Iniciativa Emprendedora

El proyecto desarrolla el modelo de negocio para la creación de una empresa de voladuras asentada en Australia. Se han analizado todos los puntos considerados estratégicos para poder llevar a cabo esta labor, esto es un estudio tecnológico, comercial y financiero que constituyen este plan de negocios. ABSTRACT The main object of this project is to develop a document which contemplates a model for the establishment of a blasting company in Australia. To do so in this text we have analyzed the considered strategic points that will help us in this hard effort. All this is included in a technological, commercial and financial study that makes up a business plan

Global analysis of constraint logic programs

This article presents and illustrates a practical approach to the dataow analysis of constraint logic programming languages using abstract interpretation. It is rst argued that from the framework point of view it suces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for exist. This is shown by proposing a simple extension of Bruynooghes traditional framework which allows it to analyze constraint logic programs. Then and using this generalized framework two abstract domains and their required abstract functions are presented the rst abstract domain approximates deniteness information and the second one freeness. Finally an approach for cobining those domains is proposed The two domains and their combination have been implemented and used in the analysis of CLP and Prolog III applications. Results from this implementation showing its performance and accuracy are also presented

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.