From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f891f,9d58048b8113c00f
X-Google-Attributes: gidf891f,public
X-Google-Thread: 101deb,b20bb06b63f6e65
X-Google-Attributes: gid101deb,public
X-Google-Thread: 1014db,9d58048b8113c00f
X-Google-Attributes: gid1014db,public
X-Google-Thread: 10cc59,9d58048b8113c00f
X-Google-Attributes: gid10cc59,public
X-Google-Thread: 103376,2e71cf22768a124d
X-Google-Attributes: gid103376,public
From: fjh@mundook.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: next "big" language?? (disagree)
Date: 1996/06/28
Message-ID: <4r19nc$b3h@mulga.cs.mu.OZ.AU>#1/1
X-Deja-AN: 162624488
references: <ag129.511.000A9CE9@ucs.cam.ac.uk> <dewar.834584250@schonberg>
 	<JSA.96Jun15175541@organon.com> <4q707h$1r2@krusty.irvine.com>
 <JSA.96Jun19115535@organon.com> <dewar.835306677@schonberg>
 <DtKsIz.Dp6@thomsoft.com> <dewar.835839441@schonberg>
organization: Comp Sci, University of Melbourne
newsgroups: 
 comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada
Date: 1996-06-28T00:00:00+00:00
List-Id: <comp.lang.ada>

dewar@cs.nyu.edu (Robert Dewar) writes:

>roughtly the three points of view are:
>
>  1. the assert has no effect on the code, so the semantics is exactly
>     equivalent to what you would get by leaving out the assert, but
>     the assert can be checked at run time. In this model it would be
>     wrong for the compiler to leave out the second divide by zero
>     check. Warning: this model is hard to define formally.

Why would anyone want this model?

--
Fergus Henderson <fjh@cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3         |     -- the last words of T. S. Garp.