Re: safeD formal semantics

[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

Bye,
bearophile