<span style="color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">In John Hughes&#39;s &quot;The Design of Pretty printing  library&quot; paper,  he says:</span><br style="margin:0px;padding:0px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">
<br style="margin:0px;padding:0px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<span style="color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">&quot;The implementations which we are trying to derive consist of equations of a restricted form. We will derive implementations by proving their constituent equations from the specification. By itself this is no guarantee that the implemented functions satisfy the specification because we might not have proved enough equation But if we also check that the derived definitions are terminating and exhaustive then this property is guaranteed&quot;</span></blockquote>
<br style="margin:0px;padding:0px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px"><span style="color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">What does &quot;restricted form&quot; mean?</span><br style="margin:0px;padding:0px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">
<br style="margin:0px;padding:0px;color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px"><span style="color:rgb(51,51,51);font-family:&#39;Helvetica Neue&#39;,Arial,sans-serif;font-size:15.454545021057129px">What is the meaning and significance of &quot;definitions are terminating and exhaustive&quot;?</span><br clear="all">
<div><br></div>-- <br>Daryoush<br><br>Weblog:  <a href="http://onfp.blogspot.com/" target="_blank">http://onfp.blogspot.com/</a>