Control ow analysis is important in optimizing compilers of functional languages It strives to approximate at compile time dynamic function call graphs of program evaluation The precision of the approximation drives the e ciency of optimizations applied in compilers Control ow analysis can be expressed by both e ect systems and abstract interpretation My thesis work extends and combines these t...

This article has no abstract.

We provide an introduction to a practical method for rigorous system development which has been used successfully, under industrial constraints, for design and analysis of complex hardware/software systems. The method allows one to start system development with a trustworthy high level system speci cation and to link such a \ground model" in a well documented and inspectable way through interme...

D We investigate the notion of “semicomputability,” intended to generalize the notion of recursive enumerability of relations to abstract structures. Two characterizations are considered and shown to be equivalent: one in terms of “ partial computable functions’ ’ (for a suitable notion of computability over abstract structures) and one in terms of definability by means of Horn programs over su...

This article draws attention to a central dispute in the interpretation of Church’s Thesis. More precisely, we are concerned with the Church-Turing thesis, as it emerged in 1936 when Church endorsed Turing’s characterization of the concept of effective calculability. (The article by Sieg in this volume details this history. It is valuable also to note from Krajewski, also in this volume, that t...

Given a finite set of blue points and a finite set of red points on a plane, we define the Red-Blue Geometric Cover problem as the problem of finding the minimum number of specific geometrical objects that can cover all blue points, but none of the red points. We note that Red-Blue Geometric Cover is closely related to several optimization problems studied earlier. These include Set Cover, Domi...

Thesis Abstract Osteoporosis thins bones, weakening them and making more susceptible to fractures. It may be related withdrawal of sex hormones by ageing. Objective: the present study was conducted evaluate bone protective effects Raloxifene, Risedronate, their combination on osteoporotic male female rats. Methods: induced orchidectomy (ORX) 35 Wistar rats ovariectomy (OVX) 50 Four weeks post s...