CVS difference for ais/ai-00119.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00119.txt

--- ais/ai-00119.txt	1999/02/28 01:42:56	1.3
+++ ais/ai-00119.txt	1999/06/22 01:44:36	1.4
@@ -1,5 +1,6 @@
-!standard 01.01.03 (15)                               98-10-08  AI95-00119/02
+!standard 01.01.03 (15)                               99-06-12  AI95-00119/02
 !class ramification 98-05-05
+!status WG9 approved 99-06-12
 !status ARG Approved 98-10-08 (Via previous vote)
 !status work item (revised by Ted Baker, per action from St. Louis meeting) 98-05-05
 !status ARG Approved (with changes) 9-2-0  95-11-01
@@ -9,11 +10,11 @@
 !difficulty Hard
 !subject Is Normal Termination an "External Interaction"?
 
-!summary 98-04-01
+!summary
 
 Termination of a program is considered an external interaction.
 
-!question 96-04-04
+!question
 
 Is the normal termination of a program with no function result or
 parameters an external interaction?  It isn't defined as one in
@@ -33,7 +34,7 @@
 resulting program also has no external interactions; the only
 difference is that it terminates.
 
-!response 98-04-01
+!response
 
 RM95-1.1.3 (12) includes as an external interaction:
 
@@ -86,7 +87,7 @@
 is invoked is not capable of expressing a dependence such as the
 one above.
 
-!appendix 96-04-04
+!appendix
 
 !section 1.1.3(15)
 !subject External interactions
@@ -127,17 +128,17 @@
 > Is the normal termination of a main program with no function result or
 > parameters an external interaction?  It isn't defined as one in paragraphs
 > 9..14 of RM95-1.1.3.
-> 
+>
 > In particular, the following main program has no external interactions
 > as defined in 1.1.3:
-> 
+>
 >     procedure Main is
 >     begin
 >        loop
 >         null;
 >        end loop;
 >     end Main;
-> 
+>
 > May an implementation optimize out the infinite loop?
 
 I suppose so.
@@ -145,7 +146,7 @@
 >...  The resulting
 > program also has no external interactions; the only difference is that
 > it terminates.
-> 
+>
 > (This question was inspired by an article, <danpop.817606320@rscernix>,
 > posted to comp.std.c by Dan Pop.)
 
@@ -163,7 +164,7 @@
 
 | > In particular, the following main program has no external interactions
 | > as defined in 1.1.3:
-| > 
+| >
 | >     procedure Main is
 | >     begin
 | >        loop
@@ -241,13 +242,13 @@
 
 This is beginning to sound like a discussion over how many angels fit on
 the tip of a pin. So far, the only difference apparent to me is between
-termination and non-termination of a partition that otherwise has no 
-external interactions and possibly of a library task without external 
+termination and non-termination of a partition that otherwise has no
+external interactions and possibly of a library task without external
 interactions. (I couldn't care less, if that is really the only
 difference.)
 
-What is the real concern here ?   
-I don't think that anybody has argued that all endless loops can be 
+What is the real concern here ?
+I don't think that anybody has argued that all endless loops can be
 optimized away, nor that local tasks that spinlock can terminate on the
 compiler's whim.
 
@@ -312,8 +313,8 @@
 No argument.  Remember, I *like* debating obscure points.  8-)}
 
 >                   So far, the only difference apparent to me is between
-> termination and non-termination of a partition that otherwise has no 
-> external interactions and possibly of a library task without external 
+> termination and non-termination of a partition that otherwise has no
+> external interactions and possibly of a library task without external
 > interactions.
 [...]
 
@@ -330,8 +331,8 @@
         end loop;
     end Main;
 
-> What is the real concern here ?   
-> I don't think that anybody has argued that all endless loops can be 
+> What is the real concern here ?
+> I don't think that anybody has argued that all endless loops can be
 > optimized away, nor that local tasks that spinlock can terminate on the
 > compiler's whim.
 

Questions? Ask the ACAA Technical Agent