How write formal specifications?

Daniele Benegiamo <daniele.benegiamo@aleph.it>
5 Sep 1999 02:44:20 -0400

          From comp.compilers
Related articles
How write formal specifications? daniele.benegiamo@aleph.it (Daniele Benegiamo) (1999-09-05)
Re: How write formal specifications? ian@nomadix.demon.co.uk (Ian Elliott) (1999-09-06)
| List of all articles for this month |
From: Daniele Benegiamo <daniele.benegiamo@aleph.it>
Newsgroups: comp.compilers,comp.lang.beta
Date: 5 Sep 1999 02:44:20 -0400
Organization: I.Net S.p.A.
Keywords: design, question, comment

Hi,


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
informations about?


Thanks, Daniele.
--
Daniele "kafumanto" Benegiamo | mailto:Daniele.Benegiamo@aleph.it
                                                                | http://www.aleph.it/~benegi01
[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]

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.