1226 search results - page 121 / 246 » Generating Abstractions from Static Domain Analysis |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
LISP
2006
13 years 8 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
JNW
2010
13 years 6 months ago
2010
Abstract— Tree-based structure is widely used in peer-topeer streaming service and is the fundamental of many other structures, but it suffers a lot from the existence of free-ri...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
JUCS
2010
13 years 3 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...