home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / compiler / 1531 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.8 KB
  1. Xref: sparky comp.compilers:1531 comp.theory:1906
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!udel!gvls1!faatcrl!iecc!compilers-sender
  3. From: ivanov@osf.org (Eric Ivanov)
  4. Newsgroups: comp.compilers,comp.theory
  5. Subject: Re: COMPILERS FROM DENOTATIONAL SEMANTICS
  6. Keywords: denotational semantics
  7. Message-ID: <92-09-050@comp.compilers>
  8. Date: 8 Sep 92 09:29:24 GMT
  9. References: <92-09-047@comp.compilers>
  10. Sender: compilers-sender@iecc.cambridge.ma.us
  11. Reply-To: ivanov@osf.org (Eric Ivanov)
  12. Organization: Open Software Foundation, Research Institute - Grenoble - France
  13. Lines: 26
  14. Approved: compilers@iecc.cambridge.ma.us
  15.  
  16. CRI (Denmark) sells a toolset based on the RAISE Specification Language
  17. (RSL) which may be of interest to you. I am not a CRI salesman so you'd
  18. better address to them directly for more information.
  19.  
  20. The RSL toolset may not be able to generate an interpreter from the
  21. denotational semantics but it enables the programmer to specify the
  22. language's semantics (algebraically and/or denotationally). It has other
  23. interesting features (non-determinism enabled, concurrency).  Yielding an
  24. interpreter is IMO just a case of adding a generic piece of RSL code to
  25. the denotational specs.
  26.  
  27. Pointers:
  28. Steen Jurs, Manager, CASE Development Department, CRI
  29. tel.: +45 45 82 21 00
  30. fax:  +45 45 82 17 11
  31. Email: sbj@csd.cri.dk
  32.  
  33. Let us know if you are successful in using RSL for your purpose.
  34. --
  35.    |          Eric Ivanov          |   | messages:  ivanov@gr.osf.org  |
  36.    |   Institut de Recherche OSF   |   |       ou:  ivanov@ri.osf.fr   |
  37.    |     2 avenue de Vignate       |   |telephone:  (+33) 76.63.48.96  |
  38.    |    38610 GIERES   FRANCE      |   |      fax:  (+33) 76.51.05.32  |
  39. -- 
  40. Send compilers articles to compilers@iecc.cambridge.ma.us or
  41. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  42.