safeD formal semantics

BCS none at anon.com
Mon Aug 23 22:08:05 PDT 2010


Hello bearophile,

> BCS:
> 
>> How much of safeD is formalizable? Is there anything in it that is
>> hoplessly impractical to create formal semantics for?
>> 
> And it needs something like this too ^_^
> http://pascal-central.com/images/pascalposter.jpg

And that's just the grammer. BTW, at one point I posted a reference graph 
for the D grammer. It was much worse <G>


> Bye,
> bearophile
-- 
... <IXOYE><





More information about the Digitalmars-d mailing list