8 search results - page 1 / 2 » Polymorphic Contracts |
DLS
2007
13 years 8 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
SERP
2003
13 years 6 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
ESOP
2011
Springer
12 years 8 months ago
2011
Springer
TOOLS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
SAS
1991
Springer
13 years 8 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...