4 search results - page 1 / 1 » OPUS: A Calculus for Modelling Object-Oriented Concepts |
OOIS
1994
Springer
13 years 9 months ago
1994
Springer
FM
1994
Springer
13 years 9 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
PLDI
2012
ACM
11 years 7 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...