|
From: | Galchin Vasili |
Subject: | "store" abstraction suggestion |
Date: | Thu, 17 Jan 2002 11:19:34 -0800 (PST) |
Hello,
Taking "name" as a grammar non-terminal <name>, I have
seen legal values of <name> sprinkled in the code. However, it
might be nice to have all legal (wff's - wellformed formulae) values
of <name> documented in the code somewhere, e.g.
<name> := "nbd" ":" <string> | .....
This <name> syntax is a big key in understanding the store
asbtraction. I didn't realize this until I saw your email
responses.
Regards, Vasili
[Prev in Thread] | Current Thread | [Next in Thread] |