Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Online Bibliography for Macro Processors for HL languages sought. daniel@dolores.stanford.edu (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 ... eifrig@beanworld.cs.jhu.edu (1992-08-30) |
| Re: ASF+SDF (Was: Online Bibliography for Macro Processors ... Paul.Klint@cwi.nl (1992-08-31) |
| Newsgroups: | comp.compilers |
| From: | eifrig@beanworld.cs.jhu.edu (Jonathan Eifrig) |
| Organization: | The Johns Hopkins University CS Department |
| Date: | Sun, 30 Aug 1992 02:04:29 GMT |
| References: | 92-08-152 92-08-172 |
| Keywords: | macros, specification |
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 centaur@mirsa.inria.fr for techical info,
and centaur-request@mirsa.inria.fr 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 (eifrig@cs.jhu.edu) The Johns Hopkins University, C.S. Dept.
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.