Re: Oberon vs Modula-2 (Re: mail delivery error)

Article View: comp.lang.modula2

Article #2119

#2119

From: Stephen J Bevan
Date: Wed, 18 Nov 1992 19:58

14 lines
1437 bytes

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

Technical Details

Message-ID: <BEVAN.92Nov18195812@tiger.cs.man.ac.uk>

Path:

arc1-ca.pugleaf.net!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

References:

<9211091022.A01745@MAIL.CASI.NASA.GOV> <5897@balrog.ctron.com> <1992Nov11.102409.12183@jyu.fi> <1992Nov13.100154.6167@informatik.uni-ulm.de>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message