Annotationsbeweis

engl.: proof outline

Bedeutung

Annotiere das Programm so mit Zusicherungen, dass:

  • vor und hinter jeder Anweisung mindestens eine Zusicherung steht und
  • die Hoare-Regeln erfüllt sind.
glossar/annotationsbeweis.txt · Zuletzt geändert: 24.09.2014 16:47 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki