Heavy flavour physics results from LEP1

Recent heavy flavour results from the LEP experiments are presented. These include a search for new physics in rare B decays, a new model-independent measurement of the b-quark fragmentation function at the Z peak, updated measurements of |Vcb|, results on DeltaGamma_s, searches for B0s oscillations, as well as a new measurement of sin(2beta). Many combined results, obtained by dedicated working groups are also given...Comment: 6 pages, 5 figure

Enforcing Termination of Interprocedural Analysis

Interprocedural analysis by means of partial tabulation of summary functions may not terminate when the same procedure is analyzed for infinitely many abstract calling contexts or when the abstract domain has infinite strictly ascending chains. As a remedy, we present a novel local solver for general abstract equation systems, be they monotonic or not, and prove that this solver fails to terminate only when infinitely many variables are encountered. We clarify in which sense the computed results are sound. Moreover, we show that interprocedural analysis performed by this novel local solver, is guaranteed to terminate for all non-recursive programs --- irrespective of whether the complete lattice is infinite or has infinite strictly ascending or descending chains

The Discovery Potential of a Super B Factory

The Proceedings of the 2003 SLAC Workshops on flavor physics with a high luminosity asymmetric e+e- collider. The sensitivity of flavor physics to physics beyond the Standard Model is addressed in detail, in the context of the improvement of experimental measurements and theoretical calculations.Comment: 476 pages. Printed copies may be obtained by request to [email protected] . arXiv admin note: v2 appears to be identical to v