624 search results - page 5 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
OOPSLA
1990
Springer
13 years 11 months ago
1990
Springer
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...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
TOOLS
1998
IEEE
13 years 12 months ago
1998
IEEE
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
ISSEP
2010
Springer
14 years 4 months ago
2010
Springer
Teaching introductory object-oriented programming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter — object-or...