|Online Bibliography for Macro Processors for HL languages sought. firstname.lastname@example.org (1992-08-25)|
|Re: Online Bibliography for Macro Processors for HL languages sought. Paul.Klint@cwi.nl (1992-08-28)|
|ASF+SDF (Was: Online Bibliography for Macro Processors ... email@example.com (1992-08-30)|
|Re: ASF+SDF (Was: Online Bibliography for Macro Processors ... Paul.Klint@cwi.nl (1992-08-31)|
|From:||firstname.lastname@example.org (Jonathan Eifrig)|
|Organization:||The Johns Hopkins University CS Department|
|Date:||Sun, 30 Aug 1992 02:04:29 GMT|
Paul.Klint@cwi.nl (Paul Klint) writes:
>The resulting formalism (ASF+SDF) has the complete expressive power of
>conditional rewrite rules with additional benefits of user-defined syntax.
>We use it to define the formal syntax and semantics of "formal languages" ...
You forgot to mention that the ASF+SDF formalism has been
implemented and is available as part of the Centaur set of language tools
available from INRIA. Contact email@example.com for techical info,
and firstname.lastname@example.org for ordering and administrivia.
Remember, the Centaur system is NOT free; get somebody else to buy it for
you! It makes a great Christmas gift! :-)
Jack Eifrig (email@example.com) The Johns Hopkins University, C.S. Dept.
Return to the
Search the comp.compilers archives again.