Path: csiph.com!newsfeed.hal-mli.net!feeder3.hal-mli.net!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end
From: mertesthomas@gmail.com
Newsgroups: comp.compilers
Subject: Re: Formatting of Language LRMs
Date: Mon, 30 Jun 2014 12:04:56 -0700 (PDT)
Organization: Compilers Central
Lines: 29
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <14-06-033@comp.compilers>
References: <14-06-010@comp.compilers>
NNTP-Posting-Host: news.iecc.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: miucha.iecc.com 1404184906 65924 2001:470:1f07:1126:0:676f:7373:6970 (1 Jul 2014 03:21:46 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Tue, 1 Jul 2014 03:21:46 +0000 (UTC)
Keywords: syntax
Posted-Date: 30 Jun 2014 23:21:46 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:1288

At tuesday, 17. Juni 2014 13:24:12 UTC+2 wrote Seima Rao:
>    Therefore I am curious to know if there are other interesting formatting
>    of language standards or language definitions such that the
>    pattern is different?

There is no Seed7 standard, but Seed7 uses, at least partly, other
ways than BNF for syntax and english for semantic descriptions.

Seed7 describes syntax with the Seed7 Structured Syntax Description
(S7SSD). See http://seed7.sourceforge.net/manual/syntax.htm S7SSD
describes the syntax based on typeless operators. The operators can be
prefix, infix and postfix. There are also operators which contain
several keywords. Only the syntax of literals is described with BNF.

For the semantic description normal functions are used.  E.g.:
http://seed7.sourceforge.net/manual/stats.htm#while-statement
Call-by-name parameters are used for condition parameters and loop
bodies. Just some semantic descriptions still rely on english.


Greetings Thomas Mertes

--
Seed7 Homepage:  http://seed7.sourceforge.net
Seed7 - The extensible programming language: User defined statements
and operators, abstract data types, templates without special
syntax, OO with interfaces and multiple dispatch, statically typed,
interpreted or compiled, portable, runs under linux/unix/windows.