Re: Programming language specification languages

> Chris Clark writes:
> ...
> Concentrating on extensions to BNF, let me recommend 3 things (all
> represented in ASCII text).
>
> 1) Eli (a parsing tool) has a notation called "OIL" which is
> specifically intended to address the specification of type
> consistency and conversions.
> ...


<plug>


For the record, Eli is much more than "a parsing tool". Sure, it
includes two parser generators, but it also integrates lexical
analysis, semantic analysis and output specification via attribute
grammars, operator identification (the Oil tool noted above),
automatic tree construction, and tree parsing/unparsing tools. A
sizable library of support modules makes dealing with common problems
such as name analysis very easy.


For more information see one of the Eli home pages:


http://www.comp.mq.edu.au/~asloane/eli
http://www.cs.colorado.edu/~eliuser
http://www.uni-paderborn.de/project-hp/eli.html


</plug>


Tony Sloane


Department of Computing
Division of Information and Communication Sciences
Macquarie University
Sydney, NSW, 2109
AUSTRALIA

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