On 04/16/2005 10:19 AM, Larry Evans wrote:
[snip]
I briefly looked at several papers from:
http://www.praxis-his.com/publications/
[snip]
principled_design_oo.pdf
[snip]
I should mention that this paper does mention dynamic dispatching
but nothing about templates or generic types.
On 04/15/2005 08:36 PM, Robert Dewar wrote:
[snip]
As I said, templates and Ada generics cause trouble with certification
requirements in two respects. First, they have the potential to intefere
with required traceability from source to object. Second, there are a
number of formal techniques that a
Gabriel Dos Reis wrote:
C++ templates do not involve dynamic dispatching (I would suspect the
same to be true for Ada generics) so I do not understand your comment.
Maybe there are unsopken assumptions?
As I said, templates and Ada generics cause trouble with certification
requirements in two respe
[ I changed the title so that the main topic -- volatile and C++ -- not
be diluted ]
Robert Dewar:
> Paul Koning wrote:
>>>"Marcin" == Marcin Dalecki <[EMAIL PROTECTED]> writes:
>>
>>
>> Marcin> On 2005-04-15, at 20:18, Mike Stump wrote:
>>
>> >> On Thursday, April 14, 2005, at 08:48 PM, M
