Re: Template and dynamic dispatching

[Larry Evans <cppljevans at cox-internet dot com>]

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 are used in certification for which
> support of generics/templates is an issue. Visit the praxis site
> (www.praxis-his.com) for more insight into this issue.

Robert,

I briefly looked at several papers from:

  http://www.praxis-his.com/publications/

but found no mention of generic or templates any of:

  c_by_c_better_cheaper.pdf
  principled_design_oo.pdf
  systems_not_just_sw.pdf

could you provide a specific link to something on  www.praxis-his.com to
help us out?

TIA.

-Larry