The current generation of dynamic invariant detectors often produce invariants that are inconsistent with program semantics or programmer knowledge. We improve the consistency of dynamically discovered invariants by taking into account higher-level constraints. These constraints encode knowledge about invariants, even when the invariants themselves are unknown. For instance, even though the invari

Variance is concerned with the interplay of parametric polymorphism (i.e., templates, generics) and subtyping. The study of variance gives answers to the question of when an instantiation of a generic class can be a subtype of another. In this work, we combine the mechanisms of use-site variance (as in Java) and definition-site variance (as in Scala and C#) in a single type system, based on Java.

The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. An interface is well

The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in XML processing programs. The analysi

Modern programs make extensive use of reusable software libraries. For example, we found that 17% to 30% of the classes in a number of large Java applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortunately, most documentation is expressed i

One approach to the assessment of overall opinion polarity (OvOP) of reviews, a concept defined in this paper, is the use of supervised machine learning mechanisms. In this paper, the impact of lexical feature selection and feature generalization, applied to reviews, on the precision of two probabilistic classifiers (Naïve Bayes and Markov Model) with respect to OvOP identification is observed. Fe

The four-stroke engine was invented by Nikolaus Otto during the second half of the 19th century. Although a lot of technological improvements have been made over the years, the operating principle with four-strokes remains the same. The need and desire of engines with even higher fuel-efficiency is a motivation to study alternative engine concepts. This thesis presents studies of the Double Compre

Emulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor–stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributioEmulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor-stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributio

The transition from a fossil to a bio-based economy is of vital importance to stem the effects of ongoing climate change.This bio-based economy will necessitate the production of both biofuels and chemical compounds from biologicalsources. Hydrogen is a promising candidate as a renewable energy carrier due to its high energy density, carbonneutrality when combusted and its potential use as a reduc

Background: Non-alcoholic fatty liver disease (NAFLD) is highly associated with the metabolic syndrome, and due to increasing prevalence of for example obesity it is now the most common liver disease in the world. A minority progress to advanced fibrosis/cirrhosis, which is associated with increased mortality, but it is not entirely clear which patients who have an increased risk of fibrosis.Gener

BACKGROUND AND AIM: Progression to fibrosis in non-alcoholic fatty liver disease (NAFLD) is associated with an increased risk of liver-related events, overall mortality and possibly metabolic comorbidities. Our aim was to determine if non-invasive fibrosis scoring systems can predict the future risk of diabetes mellitus, cardiovascular disease (CVD), chronic kidney disease (CKD), liver-related eve

Background: Our aim was to investigate the frequency of elevated liver enzymes and NAFLD in patients with known insulin resistance during 15 years of follow-up. Methods: Subjects with insulin resistance were identified from a population-based prospective cohort study in Sweden, Malm? Diet and Cancer Study, conducted in 1991-1996. Inall, 285 non-diabetic subjects with insulin resistance established