The Abstract Domain of Parallelotopes

AbstractWe propose a numerical abstract domain based on parallelotopes. A parallelotope is a polyhedron whose constraint matrix is squared and invertible. The domain of parallelotopes is a fully relational abstraction of the Cousot and Halbwachsʼ polyhedra abstract domain, and does not use templates. We equip the domain of parallelotopes with all the necessary operations for the analysis of imperative programs, and show optimality results for the abstract operators

Exploiting Linearity in Sharing Analysis of Object-oriented Programs

AbstractWe propose a new sharing analysis of object-oriented programs based on abstract interpretation. Two variables share when they are bound to data structures which overlap. We show that sharing analysis can greatly benefit from linearity analysis. We propose a combined domain including aliasing, linearity and sharing information. We use a graph-based representation of aliasing information which naturally encodes sharing and linearity information, and define all the necessary operators for the analysis of a Java-like language

on collecting semantics for program analysis

n/

Optimality in Goal-Dependent Analysis of Sharing

We face the problems of correctness, optimality and precision for the static analysis of logic programs, using the theory of abstract interpretation. We propose a framework with a denotational, goal-dependent semantics equipped with two unification operators for forward unification (calling a procedure) and backward unification (returning from a procedure). The latter is implemented through a matching operation. Our proposal clarifies and unifies many different frameworks and ideas on static analysis of logic programming in a single, formal setting. On the abstract side, we focus on the domain Sharing by Jacobs and Langen and provide the best correct approximation of all the primitive semantic operators, namely, projection, renaming, forward and backward unification. We show that the abstract unification operators are strictly more precise than those in the literature defined over the same abstract domain. In some cases, our operators are more precise than those developed for more complex domains involving linearity and freeness. To appear in Theory and Practice of Logic Programming (TPLP

Heterogenous forms of dyslipidemiain women with polycystic ovary syndrome

Forms of dyslipidemia are very common in individuals affected by polycystic ovary syndrome (PCOS), but in addition to plasmatic lipids, it is necessary to evaluate the alterations in the atherogenic lipoproteins (Lp) and apolipoproteins (apo). In our study we measured the concentrations of apoB, Lp(a) and low density lipoproteins (LDL) in 42 patients with PCOS (age: 28 +/- 7 years, body mass index: 27 +/- 5 kg/m-) and 37 healthy women (of the same age and body mass index). Methods: values of Lp(a) >30 mg/dl were considered high, whereas for apoB, values >100 g/l were considered high. Results: the patients with PCOS showed an increase in triglycerides (p=0.0011) and low levels of high density lipoproteins (HDL) (p=0.0131), but the total cholesterol and the LDLs were not significantly different to those of the control group. High levels of Lp(a) were found in 24% of the individuals with PCOS, and a smaller number showed high levels of apoB (14%). This analysis shows that the concentrations of Lp(a) are only correlated to the HDL levels (r =0.378, p= 0.0431). 36% of the patients with PCOS with normal levels of plasmatic lipids show high levels of Lp(a) and apoB, and small and dense LDLs. Conclusions: alterations in the plasmatic lipids are present in 1/3 of the women affected by PCOS. More research is necessary to better understand the mechanisms responsible to reduce the risk of cardiovascular problems in young women with polycystic ovary syndrome

Bisphosphonate-associated femoral fracture: implication for management

Studies carried out on individuals being treated long term with bisphosphonates have provoked considerable interest and perplexity about the effect that these drugs have on bone turnover in the long run. In fact the experiences reported by numerous researchers tend to highlight how treatment with high doses of bisphosphonates over many years, of individuals with osteoporosis complicated by or secondary to neoplastic pathologies, causes a suppression of bone turnover that over time predisposes the bone to the accumulation of micro damage that can then result in complicated fractures, as in the case described here