3311 search results - page 104 / 663 » Deductive Object Programming |
LISP
2008
14 years 12 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...
61
Voted
PAMI
2002
14 years 11 months ago
2002
ICSM
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
OOPSLA
1991
Springer
15 years 3 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
101
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...