Sciweavers

4 search results - page 1 / 1
» OPUS: A Calculus for Modelling Object-Oriented Concepts
Sort
View
OOIS
1994
Springer
13 years 6 months ago
OPUS: A Calculus for Modelling Object-Oriented Concepts
Tom Mens, Kim Mens, Patrick Steyaert
FM
1994
Springer
104views Formal Methods» more  FM 1994»
13 years 6 months ago
OPUS: a Formal Approach to Object-Orientation
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...
Tom Mens, Kim Mens, Patrick Steyaert
APLAS
2004
ACM
13 years 8 months ago
A Relational Model for Object-Oriented Designs
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...
Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
PLDI
2012
ACM
11 years 5 months ago
The implicit calculus: a new foundation for generic programming
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...
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Ch...