safeD formal semantics
Andrei Alexandrescu
SeeWebsiteForEmail at erdani.org
Sun Aug 22 13:59:45 PDT 2010
On 08/22/2010 09:26 AM, BCS wrote:
> Looking at this: http://blog.regehr.org/archives/249
>> Prediction 4: Formal Semantics Will Be Constructed Earlier
>
> How much of safeD is formalizable? Is there anything in it that is
> hoplessly impractical to create formal semantics for?
I think it should be formalizable. The proofs would be very long for the
whole thing, but a representative subset should be fine.
Andrei
More information about the Digitalmars-d
mailing list