Sciweavers

144 search results - page 1 / 29
» Type Substitution for Object-Oriented Programming
Sort
View
119
Voted
OOPSLA
1990
Springer
15 years 6 months ago
Type Substitution for Object-Oriented Programming
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
Jens Palsberg, Michael I. Schwartzbach
157
Voted
SIGSOFT
1996
ACM
15 years 6 months ago
Using Object-Oriented Typing to Support Architectural Design in the C2 Style
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins,...
134
Voted
ESOP
1998
Springer
15 years 6 months ago
Recursive Object Types in a Logic of Object-Oriented Programs
K. Rustan M. Leino
94
Voted
ECOOP
1995
Springer
15 years 5 months ago
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
Kim B. Bruce, Angela Schuett, Robert van Gent