Re: ASIS : questions about the ASIS status against the Ada reference

[Stephen Leake <stephen_leake@stephe-leake.org>]

"Hibou57 (Yannick Duch�ne)" <yannick_duchene@yahoo.fr> writes:

> Looking at the ASIS package specifications and even more at the ASIS
> issues at ada-auth, I began to feel that a lot of efforts are still
> running at making ASIS able to fully represent all possible Ada 2005
> constructions.

Right. 

> From here, comes these fundamental questions :
>
> - Is the ability of ASIS to represent all Ada 2005 constructions
> formally provable ?

I doubt it. But why do you want to know?

> - Can ASIS be viewed as another expression of a part of the Ada 2005
> reference in a special formalism ?

Probably.

> While I know ASIS is mainly useful for code analysies, audits,
> statistics, etc, I though about another question which may give an
> answser to these two latter ones : formally speaking (although perhaps
> not practicable), is it theorically possible to imagine a compiler
> builded around ASIS ? 

I don't see how; ASIS presumes a compiler that generates the
information ASIS uses. Why build another compiler on top of that?

-- 
-- Stephe