CVS difference for ai12s/ai12-0240-1.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai12s/ai12-0240-1.txt

--- ai12s/ai12-0240-1.txt	2018/03/30 07:55:08	1.7
+++ ai12s/ai12-0240-1.txt	2018/05/11 04:17:48	1.8
@@ -1639,4 +1639,17 @@
 a long lifetime. I don't see the value of having separate types. But that can
 be discussed later.)
 
+****************************************************************
+
+From: Tucker Taft
+Sent: Thursday, May 9, 2018  7:00 PM
+
+https://docs.google.com/presentation/d/19dxDPWCb-Mg6A97SwAiu8iBRX2Q8s-3ynmwo_wXp48w/edit?usp=sharing_eip&ts=5af38b77
+
+Here is an updated presentation about the "safe pointers" (Ownership aspect) 
+which I gave on Monday at the High Confidence Software and Systems conference.
+It might be of interest to those trying to "grok" the proposed AI. Randy and I
+are talking about further additions to support secondary pointers such as
+those used for cursors. This doesn't mention that. -Tuck
+
 ***************************************************************

Questions? Ask the ACAA Technical Agent