136 search results - page 8 / 28 » Verification of Object Oriented Programs Using Class Invaria... |
ACTA
2010
14 years 9 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
110
click to vote
TLDI
2010
ACM
14 years 9 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
JUCS
2007
14 years 9 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
WORDS
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...