What is the mathematical model of C++ classes ?

[Reetesh Mukul]

What is the Mathematical model of C++ classes ? I can understand that
constructs in any C++ program will infer different Mathematical
meaning, still can we have a minimal simplistic mathematical model of C
++ classes which we can keep on our mind ? Of course through functors/
lambda constructs in C++ ( through BOOST or coming C++0x) one can have
a consistent ideology about the underlying Mathematics; yet can we
still have some Mathematical meaning of C++ and Templates in general ?

 

[Pascal J. Bourguignon]

What is the Mathematical model of C++ classes ? I can understand that
constructs in any C++ program will infer different Mathematical
meaning, still can we have a minimal simplistic mathematical model of C
++ classes which we can keep on our mind ? Of course through functors/
lambda constructs in C++ ( through BOOST or coming C++0x) one can have
a consistent ideology about the underlying Mathematics; yet can we
still have some Mathematical meaning of C++ and Templates in general ?

Formally, I don't think anybody has build a mathematical model of C++
yet.

There are some semantic models of C (See for example Papaspyrou's thesis
ftp://ftp.softlab.ntua.gr/pub/users/nickie/papers/thesis.ps.gz).

However, there are mathematisations of OO concepts, full books of them.
See for example: http://www.wolczko.com/phd.html

This could serve, "in general". But if you need to come to the
specifics and details of C++, you would have to develop a precise
mathematical model yourself. It would probably be good to build on
Papaspyrou's formalization.