Re: Oberon vs Modula-2

Article View: comp.lang.modula2

Article #2135

#2135

From: Stephen J Bevan
Date: Sat, 21 Nov 1992 10:24

14 lines
1283 bytes

In article <1992Nov20.125458.25797@informatik.uni-ulm.de> borchert@titania.mathematik.uni-ulm.de (Andreas Borchert) writes:
   In summary, Oberon and Oberon-2 are (at least for ETH) research
   projects and, thus, subject to changes and development. So, you've to
   decide whether you want to be ETH-compatible or close to one of the
   reports.

Question: If I can give more than one interpretation to a particular
aspect of the report and the ETH compiler produces output consistent
with one of those interpretations, how can I be sure that it is the
correct one?

Answer: You can't, that is what a formal definition is for.

bevan

Technical Details

Message-ID: <BEVAN.92Nov21102449@beluga.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!doc.ic.ac.uk!uknet!mucs!m1!bevan

References:

<9211091022.A01745@MAIL.CASI.NASA.GOV> <5897@balrog.ctron.com> <BEVAN.92Nov18195812@tiger.cs.man.ac.uk> <1992Nov20.125458.25797@informatik.uni-ulm.de>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.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
Message-ID: <BEVAN.92Nov21102449@beluga.cs.man.ac.uk>
Date: 21 Nov 92 10:24:49 GMT
References: <9211091022.A01745@MAIL.CASI.NASA.GOV> <5897@balrog.ctron.com>
 <BEVAN.92Nov18195812@tiger.cs.man.ac.uk>
 <1992Nov20.125458.25797@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 20 Nov 92 12:54:58 GMT

Reply to Parent Message