safeD formal semantics

BCS none at anon.com
Sun Aug 22 07:26:19 PDT 2010


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?

-- 
... <IXOYE><





More information about the Digitalmars-d mailing list