Re: safeD formal semantics

[Andrei Alexandrescu]

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