25 search results - page 1 / 5 » F-Bounded Polymorphism for Object-Oriented Programming |
100
click to vote
JOT
2010
14 years 8 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
180
click to vote
Book
"This book is not going to praise object-oriented programming or condemn the
Old Way. We are simply going to use ANSI-C to discover how object-oriented programming is done, w...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
fects 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 and eff...
109
Voted
SCAM
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...