safeD formal semantics

bearophile bearophileHUGS at lycos.com
Mon Aug 23 20:22:26 PDT 2010


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

Bye,
bearophile


More information about the Digitalmars-d mailing list