home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!sun-barr!cs.utexas.edu!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!uknet!mucs!m1!bevan
- From: bevan@cs.man.ac.uk (Stephen J Bevan)
- Newsgroups: comp.lang.modula2
- Subject: Re: Oberon vs Modula-2 (Re: mail delivery error)
- Message-ID: <BEVAN.92Nov18195812@tiger.cs.man.ac.uk>
- Date: 18 Nov 92 19:58:12 GMT
- References: <9211091022.A01745@MAIL.CASI.NASA.GOV> <5897@balrog.ctron.com>
- <1992Nov11.102409.12183@jyu.fi>
- <1992Nov13.100154.6167@informatik.uni-ulm.de>
- Sender: news@cs.man.ac.uk
- Organization: Department of Computer Science, University of Manchester
- Lines: 14
- In-reply-to: borchert@titania.mathematik.uni-ulm.de's message of 13 Nov 92 10:01:54 GMT
-
- In article <1992Nov13.100154.6167@informatik.uni-ulm.de> borchert@titania.mathematik.uni-ulm.de (Andreas Borchert) writes:
-
- Don't forget that Oberon still needs less than 20 pages of language
- description.
-
- Maybe be so, but it doesn't include a formal definition of the context
- constraints (static semantics if you will) nor the dynamic semantics.
- You may think it doesn't require either, however I've personally
- struggled to make sense of the typing rules in the appendix (some of
- which IMHO are redundant!) in an implementaion of a Oberon-2 front
- end. I found myself having to write bits of code and try them out
- using the ETH compiler to see what (if any) errors it produced.
-
- bevan
-