|How write formal specifications? email@example.com (Daniele Benegiamo) (1999-09-05)|
|Re: How write formal specifications? firstname.lastname@example.org (Ian Elliott) (1999-09-06)|
|From:||Daniele Benegiamo <email@example.com>|
|Date:||5 Sep 1999 02:44:20 -0400|
|Keywords:||design, question, comment|
I would know what is the better (or at least the most used :) )
formalism to write formal specifications for static and dynamic
semantics of a language.
I know that exists at least two notations: algebraic and with
attribute grammar. Exists other notations? If so, where can I found
Daniele "kafumanto" Benegiamo | mailto:Daniele.Benegiamo@aleph.it
[I've seen a bunch of them, none all that satisfactory because a useful
spec tends to be so long that it's nearly impossible to debug. -John]
Return to the
Search the comp.compilers archives again.