CVS difference for ai05s/ai05-0013-1.txt
--- ai05s/ai05-0013-1.txt 2008/11/26 23:58:33 1.16
+++ ai05s/ai05-0013-1.txt 2012/01/05 06:19:31 1.17
@@ -82,8 +82,8 @@
particular restriction, such a requirement applies to all of
the units comprising the partition and is enforced via a
post-compilation check.
- - A restriction may impose requirements on the runtime behavior
- of the program, as indicated by the specification of runtime
+ - A restriction may impose requirements on the run-time behavior
+ of the program, as indicated by the specification of run-time
behavior associated with a violation of the requirement.
AARM Ramification: In this latter case, there is no post-compilation
@@ -222,8 +222,8 @@
particular restriction, such a requirement applies to all of
the units comprising the partition and is enforced via a
post-compilation check.>
-@xbullet<A restriction may impose requirements on the runtime behavior
-of the program, as indicated by the specification of runtime
+@xbullet<A restriction may impose requirements on the run-time behavior
+of the program, as indicated by the specification of run-time
behavior associated with a violation of the requirement.>
!corrigendum D.7(3)
Questions? Ask the ACAA Technical Agent