User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization

Large-scale wind structures in OB supergiants: a search for rotationally modulated H\alpha variability

We present the results of a long-term monitoring campaign of the H\alpha line in a sample of bright OB-supergiants (O7.5-B9) that aims at detecting rotationally modulated changes potentially related to the existence of large-scale wind structures. A total of 22 objects were monitor ed during 36 nights spread over 6 months in 2001-2002. Coordinated broad-band photometric observations were also obtained for some targets. Conspicuous evidence for variability in H\alpha is found for the stars displaying a feature contaminated by wind emission. Most changes take place on a daily time-scale, although hourly variations are also occasionally detected. Convincing evidence for a cyclical pattern of variability in H\alpha has been found in 2 stars: HD 14134 and HD 42087 (periodic signals are also detected in other stars, but independent confirmation is required). Rotational modulation is suggested from the similarity between the observed recurrence time-scales (in the range 13-25 days) and estimated periods of stellar rotation. We call attention to the atypical case of HD 14134 which exhibits a clear 12.8-d periodicity both in the photometric and in the spectroscopic data sets. This places this object among a handful of early-type stars where one may observe a clear link between extended wind structures and photospheric disturbances. Further modelling may test the hypothesis that azimuthally-extended wind streams are responsible for the patterns of spectral variability in our target stars.Comment: 18 pages, accepted for publication in MNRA

On the nature of the galactic early-B hypergiants

Despite their importance to a number of astrophysical fields, the lifecycles of very massive stars are still poorly defined. In order to address this shortcoming, we present a detailed quantitative study of the physical properties of four early-B hypergiants (BHGs); Cyg OB2 #12, zeta Sco, HD190603 and BP Cru. These are combined with an analysis of their long-term spectroscopic and photometric behaviour in order to determine their evolutionary status. The long-term datasets revealed that they are remarkably stable over long periods (>40yr), with the possible exception of zeta Sco prior to the 20th century, in contrast to the typical excursions that characterise luminous blue variables (LBVs). Zeta Sco, HD190603 and BP Cru possess physical properties intermediate between B supergiants and LBVs; we therefore suggest that BHGs are the immediate descendants and progenitors (respectively) of such stars (for initial masses in the range ~30-60Msun). In contrast, while the wind properties of Cyg OB2 #12 are consistent with this hypothesis, the combination of extreme luminosity and spectroscopic mass (~110Msun) and comparatively low temperature means it cannot be accommodated in such a scheme. Likewise, despite its co-location with several LBVs above the Humphreys-Davidson (HD) limit, the lack of long term variability and its unevolved chemistry apparently excludes such an identification. Since such massive stars are not expected to evolve to such cool temperatures, the properties of Cyg OB2 #12 are difficult to understand under current evolutionary paradigms. [ABRIDGED]Comment: 36 pages, 19 figures (of which 17 pages are online supplemental material). Accepted for publication in Astronomy and Astrophysic

Cost analysis of java bytecode

Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic dispatching). This paper addresses these problems and develops a generic framework for the automatic cost analysis of sequential Java bytecode. Our method generates cost relations which define at compile-time the cost of programs as a function of their input data size. To the best of our knowledge, this is the first approach to the automatic cost analysis of Java bytecode.