2448 search results - page 23 / 490 » The Octahedron Abstract Domain |
STACS
1990
Springer
13 years 12 months ago
1990
Springer
nce abstract) GAUTAM DAS - University of Wisconsin DEBORAH JOSEPH - University of Wisconsin
CORR
2000
Springer
13 years 7 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
IMECS
2007
13 years 9 months ago
2007
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Recently, a minimal domain dubbed the numbers game has been proposed to illustrate well-known issues in co-evolutionary dynamics. The domain
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
symbol systems and the world. In the case of problem frames the symbol systems are abstractions of the problems that an IS will solve rather than sentences, and the world is the pr...