From: Jonathan Turkanis (technews_at_[hidden])
Date: 2005-09-22 23:34:19
Robert Ramey wrote:
> Very interesting.
> First I'm surprised that anyone else was even looking at that thread
> after all this time.
> Its clear that there is a strong parallel here - maybe even a
> one-to-one correspondence.
> I've concluded that the concept of Semantic really isn't formal. Its a
> narrative description of
> what someone expects an expression to do.
Right. Coming from mathematical logic it's clear to me that usual concept
definitions aren't really formal. I'd call them 'semi-formal'. If you wanted to
write a truly formal specification, you'd first have to describe an abstract
machine to represent C++ programs and their execution environments, because the
C++ standard isn't really formal, either.
-- Jonathan Turkanis www.kangaroologic.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk