[1030] in Central_America
New quotes for Sun Nov 6
daemon@ATHENA.MIT.EDU (daemon@ATHENA.MIT.EDU)
Sun Nov 6 01:29:31 1988
Date: Sun, 6 Nov 88 01:29:26 EST
From: Initializer.SysDaemon <root@CHARON.MIT.EDU>
To: ca-mtg@bloom-beacon.mit.edu
---------------------------------------------------------------------------
cheshire (Mary Vogt):
"In this world of guns and knives, wherever Tang Long goes, he will
travel on his own."
---------------------------------------------------------------------------
dschmidt (Dan Schmidt):
From _Abstraction and Specification in Program Development_, p. 220:
Consider an example:
TRUE
{ x := 0
y := 1 }
y > x
How can we convince ourselves of the validity of this formula? That
is, how do we know that this program fragment terminates, and that
when it is finished, the value of y is greater than the value of x?
We begin by arguing that exactly two statements get executed. After
the second statement is executed, the value of y is 1 and the value of
x is whatever it was after the first statement was executed, that is,
0. We complete the argument by observing that 1 > 0.
---------------------------------------------------------------------------
eichin (Mark W. Eichin):
NBC Today, 7:16AM EST --- the SIPB office, and two interviews.
---------------------------------------------------------------------------
mjbauer (Michael J. Bauer):
{From system: This user's .plan file is not world readable}
---------------------------------------------------------------------------
rosencra (John R Buck):
Did I forget, did I forget to mention Memphis?
---------------------------------------------------------------------------
wchuang (William Chuang):
{From system: This user's .plan file is not world readable}
--- End of Central America ---
