Implementing formal definitions again

greg@cee.hw.ac.uk (Greg Michaelson)
Mon, 24 Jan 1994 13:42:04 GMT

          From comp.compilers
Related articles
Implementing formal definitions again greg@cee.hw.ac.uk (1994-01-24)
| List of all articles for this month |
Newsgroups: comp.compilers
From: greg@cee.hw.ac.uk (Greg Michaelson)
Keywords: report, available
Organization: Dept of Comp & Electrical Eng, Heriot-Watt University, Scotland
Date: Mon, 24 Jan 1994 13:42:04 GMT

If anyone still wants my thesis its on: brolga.cc.uq.oz.au
in: /theses/greg-michaelson.ps.Z
by anonymous FTP.


I've had 22 requests and most mention local research in this area. If people
would like to email me a short description of their work then I'll summarise
it here? Howsabout a paragraph and two references? Deadline say 4 Feb 94?


Greg Michaelson
--

Post a followup to this message

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