Re: COMPILERS FROM DENOTATIONAL SEMANTICS

ivanov@osf.org (Eric Ivanov)
Tue, 8 Sep 1992 09:29:24 GMT

          From comp.compilers
Related articles
COMPILERS FROM DENOTATIONAL SEMANTICS aet@mullian.ee.mu.OZ.AU (1992-09-07)
Re: COMPILERS FROM DENOTATIONAL SEMANTICS ivanov@osf.org (1992-09-08)
| List of all articles for this month |
Newsgroups: comp.compilers,comp.theory
From: ivanov@osf.org (Eric Ivanov)
Organization: Open Software Foundation, Research Institute - Grenoble - France
Date: Tue, 8 Sep 1992 09:29:24 GMT
References: 92-09-047
Keywords: denotational semantics

CRI (Denmark) sells a toolset based on the RAISE Specification Language
(RSL) which may be of interest to you. I am not a CRI salesman so you'd
better address to them directly for more information.


The RSL toolset may not be able to generate an interpreter from the
denotational semantics but it enables the programmer to specify the
language's semantics (algebraically and/or denotationally). It has other
interesting features (non-determinism enabled, concurrency). Yielding an
interpreter is IMO just a case of adding a generic piece of RSL code to
the denotational specs.


Pointers:
Steen Jurs, Manager, CASE Development Department, CRI
tel.: +45 45 82 21 00
fax: +45 45 82 17 11
Email: sbj@csd.cri.dk


Let us know if you are successful in using RSL for your purpose.
--
      | Eric Ivanov | | messages: ivanov@gr.osf.org |
      | Institut de Recherche OSF | | ou: ivanov@ri.osf.fr |
      | 2 avenue de Vignate | |telephone: (+33) 76.63.48.96 |
      | 38610 GIERES FRANCE | | fax: (+33) 76.51.05.32 |
--

Post a followup to this message

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