Sciweavers

3394 search results - page 25 / 679
» Regular Object Types
Sort
View
OOPSLA
2007
Springer
16 years 53 min ago
Establishing object invariants with delayed types
Manuel Fähndrich, Songtao Xia
WCRE
1999
IEEE
15 years 10 months ago
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
OOPSLA
1998
Springer
15 years 10 months ago
A Type System for Object Initialization in the Java Bytecode Language
Stephen N. Freund, John C. Mitchell