Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

Connecting genotype to phenotype is fundamental in biomedical research and in our understanding of disease. Phenomics--the large-scale quantitative phenotypic analysis of genotypes on a genome-wide scale--connects automated data generation with the development of novel tools for phenotype data integration, mining and visualization. Our yeast phenomics database PROPHECY is available at http://pr...