5634 search results - page 126 / 1127 » About Abstract Classes |
193
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
CASCON
1996
15 years 14 days ago
1996
This paper1 describes an algorithm for testing polymorphic interactions between classes in object-oriented (O-O) software. We propose an Augmented Object Relationship Diagram (AOR...
88
Voted
ECBS
2006
IEEE
15 years 2 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
WSC
1997
15 years 14 days ago
1997
Traditionally, class periods have meant that students listen to a professor lecture for about an hour. Cooperative learning can replace some of that lecture time with methods desi...
LMO
1996
15 years 14 days ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...