3311 search results - page 104 / 663 » Deductive Object Programming |
111
Voted
LISP
2008
15 years 1 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...
PAMI
2002
15 years 1 months ago
2002
ICSM
1998
IEEE
15 years 5 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...
105
click to vote
OOPSLA
1991
Springer
15 years 5 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...
118
click to vote
TOOLS
1999
IEEE
15 years 5 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...