1620 search results - page 5 / 324 » Testing Polymorphic Properties |
WADT
2004
Springer
14 years 4 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
SOQUA
2004
14 years 7 days ago
2004
PTS
2003
14 years 7 days ago
2003
TACS
1991
Springer
14 years 2 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
JOT
2010
13 years 9 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...