CVS difference for 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