Path: news.cs.au.dk!news.net.uni-c.dk!logbridge.uoregon.edu!newsfeed.stanford.edu!xuxa.iecc.com!ivan.iecc.com!nerds-end From: Daniele Benegiamo Newsgroups: comp.compilers,comp.lang.beta Subject: How write formal specifications? Date: 5 Sep 1999 02:44:20 -0400 Organization: I.Net S.p.A. Lines: 16 Sender: johnl@iecc.com Approved: compilers@iecc.com Message-ID: <99-09-014@comp.compilers> NNTP-Posting-Host: ivan.iecc.com Keywords: design, question, comment X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://www.iecc.com/compilers Xref: news.cs.au.dk comp.compilers:26429 comp.lang.beta:12067 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]