55 search results - page 1 / 11 » Automatic dimension inference and checking for object-orient... |
64
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
SAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
114
click to vote
FMOODS
2008
15 years 2 days ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
LISP
2008
14 years 10 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...