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
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
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
On 08/22/2010 09:26 AM, BCS wrote:
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?
I think it should be
On 08/22/2010 09:26 AM, BCS wrote:
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?
I think it should be