Sciweavers

3394 search results - page 25 / 679
» Regular Object Types
Sort
View
OOPSLA
2007
Springer
16 years 16 days 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
150
Voted
FSTTCS
1993
Springer
15 years 10 months ago
A Meta-Language for Typed Object-Oriented Languages
Giuseppe Castagna