|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:||Ian Elliott <email@example.com>|
|Date:||6 Sep 1999 11:54:32 -0400|
>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
David A Watt in his "Programming Language Syntax and Semantics",
Prentice Hall International, 1991, ISBN: 0-13-726274-4 describes, as
well as syntax, three methods of semantics definition: Denotational,
Algebraic and a method developed by Peter Mosses and Watt himself
called Action Semantics. The latter was an attempt to make semantics
more intelligible and therefore more widely acceptable - I do not know
to what extent they succeeded.
Return to the
Search the comp.compilers archives again.