5634 search results - page 36 / 1127 » About Abstract Classes |
TC
2002
14 years 10 months ago
2002
Abstract
CACM
1999
14 years 10 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
FUIN
2008
14 years 10 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...