34 research outputs found
The Role of CO2-EOR for the Development of a CCTS Infrastructure in the North Sea Region: A Techno-Economic Model and Application
Macrophyte-related shifts in the nitrogen and phosphorus contents of the different trophic levels in a biomanipulated shallow lake
The Balassa-Samuelson Hypothesis in Developed Countries and Emerging Market Economies: Different Outcomes Explained
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
On-line monitoring of important organoleptic methyl-branched aldehydes during batch fermentation of starter cultureStaphylococcus xylosus reveal new insight into their production in a model fermentation
Composition and dynamics of autotrophic picoplankton and spectral light distribution in saline lignite mining lakes of Germany
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