27 research outputs found
The Balassa-Samuelson Hypothesis in Developed Countries and Emerging Market Economies: Different Outcomes Explained
Sediment and nutrient accumulation rates in sediments of twelve New Zealand lakes: influence of lake morphology, catchment characteristics and trophic state
A Framework for Analysis of Typed Logic Programs
The paper presents a novel approach to the analysis of typed logic programs. We assume regular type descriptions of logic program variables provided by regular tree grammars. Types are used to identify components of terms which can be equated during the programs execution. This information i
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
The theory of abstract interpretation provides a formal framework to develop advanced dataflow analysis tools. The idea is to define a nonstandard semantics which is able to compute, in finite time, an approximated model of the program. In this paper, we define an abstract interpretation framework based on a fixpoint approach to the semantics. This leads to the definition, by means of a suitable set of operators, of an abstract fixpoint characterization of a model associated with the program. Thus, we obtain a specializable abstract framework for bottom-up abstract interpretations of definite logic programs. The specialization of the framework is shown on two examples, namely, gound-dependence analysis and depth-k analysis