1189 search results - page 27 / 238 » The Quotient of an Abstract Interpretation |
BIOINFORMATICS
2012
12 years 7 days ago
2012
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...
ANTS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
SAS
2012
Springer
12 years 8 days ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
FLOPS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
EJC
2008
13 years 10 months ago
2008
Abstract. We give a classification of all equivelar polyhedral maps on the torus. In particular, we classify all triangulations and quadrangulations of the torus admitting a vertex...