• Paulo Pinto (6/6) Sep 22 2013 Hi,
• bearophile (5/6) Sep 22 2013 It also explains about the Loop_Entry attribute, useful for loop

Paulo Pinto <pjmlp progtools.org> writes:

Hi,

since this was heavily discussed lately, I thought it might be
interesting to see the rationale for their use in Spark as well.


http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values


--
Paulo

"bearophile" <bearophileHUGS lycos.com> writes:

Paulo Pinto:

 http://www.spark-2014.org/entries/detail/spark-2014-rationale-pre-call-and-pre-loop-values

It also explains about the Loop_Entry attribute, useful for loop 
invariants, neat :-)

Bye,
bearophile