home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / compiler / 1458 < prev    next >
Encoding:
Internet Message Format  |  1992-08-29  |  1.7 KB
  1. Path: sparky!uunet!gatech!rutgers!faatcrl!iecc!compilers-sender
  2. From: db@dcs.ed.ac.uk (Dave Berry)
  3. Newsgroups: comp.compilers
  4. Subject: Re: Semantics Tools
  5. Keywords: parse, optimize, semantics
  6. Message-ID: <92-08-160@comp.compilers>
  7. Date: 26 Aug 92 15:15:40 GMT
  8. References: <92-08-114@comp.compilers> <92-08-153@comp.compilers>
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: Dave Berry <db@dcs.ed.ac.uk>
  11. Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
  12. Lines: 24
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. We've done some work on producing tools from operational semantics.  In
  16. our case we've looked at debuggers (which are harder than compilers).  In
  17. my thesis I looked at the definition of evaluation step in terms of
  18. operational semantics, and described a system that generated animating
  19. interpreters from an operational semantics.  Fabio da Silva is just
  20. completing his thesis on another, more rigorous, approach.  He includes an
  21. algorithm from generating a deterministic semantics from a certain class
  22. of non-deterministic semantics.
  23.  
  24. Both our systems require some form of determinacy restriction on the
  25. semantics.  I distinguish between a truly operational semantics, and one
  26. written in the natural semantics style but that doesn't have an immediate
  27. operational interpretation.
  28.  
  29. Unfortunately neither of us have published much.  I just haven't had the
  30. time since completing my thesis.  We hope to produce a joint paper
  31. sometime.  As yet this is still theoretical work, but something may come
  32. of it someday.
  33.  
  34. Dave.
  35.  
  36. -- 
  37. Send compilers articles to compilers@iecc.cambridge.ma.us or
  38. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  39.