1620 search results - page 2 / 324 » Testing Polymorphic Properties |
ISSRE
2000
IEEE
13 years 9 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
JOT
2002
13 years 5 months ago
2002
LFCS
1992
Springer
13 years 9 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...