144 search results - page 20 / 29 » Type Substitution for Object-Oriented Programming |
123
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
107
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
169
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
118
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
125
click to vote
ENTCS
2006
15 years 2 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...