home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / compiler / 1528 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.1 KB
  1. Xref: sparky comp.compilers:1528 comp.theory:1886
  2. Path: sparky!uunet!cis.ohio-state.edu!rutgers!faatcrl!iecc!compilers-sender
  3. From: aet@mullian.ee.mu.OZ.AU (bert thompson)
  4. Newsgroups: comp.compilers,comp.theory
  5. Subject: COMPILERS FROM DENOTATIONAL SEMANTICS
  6. Keywords: denotational semantics, question
  7. Message-ID: <92-09-047@comp.compilers>
  8. Date: 7 Sep 92 03:31:15 GMT
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: aet@mullian.ee.mu.OZ.AU (bert thompson)
  11. Organization: Computer Science, University of Melbourne, Australia
  12. Lines: 15
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. Could someone please tell me if there are any tools out there that will
  16. accept the denotational semantics of a computer language and then produce
  17. from it an interpreter or a compiler in a high-level language.
  18.  
  19. Cheers!
  20.  
  21.     bert.
  22.  
  23. --
  24. bert thompson    aet@munagin.ee.mu.oz.au.
  25. SITEE        school of information technology and electrical engineering
  26.         university of melbourne
  27. -- 
  28. Send compilers articles to compilers@iecc.cambridge.ma.us or
  29. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  30.