home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.compilers
- Path: sparky!uunet!kithrup!hoptoad!decwrl!sun-barr!cs.utexas.edu!sdd.hp.com!usc!sol.ctr.columbia.edu!eff!world!iecc!compilers-sender
- From: eifrig@beanworld.cs.jhu.edu (Jonathan Eifrig)
- Subject: ASF+SDF (Was: Online Bibliography for Macro Processors ...
- Reply-To: eifrig@beanworld.cs.jhu.edu (Jonathan Eifrig)
- Organization: The Johns Hopkins University CS Department
- Date: Sun, 30 Aug 1992 02:04:29 GMT
- Approved: compilers@iecc.cambridge.ma.us
- Message-ID: <92-08-178@comp.compilers>
- References: <92-08-152@comp.compilers> <92-08-172@comp.compilers>
- Keywords: macros, specification
- Sender: compilers-sender@iecc.cambridge.ma.us
- Lines: 16
-
- 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.
- --
- Send compilers articles to compilers@iecc.cambridge.ma.us or
- {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request.
-