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