Qual è il significato del simbolo $ top $ in una tripla hoare?
-
04-11-2019 - |
Domanda
Sto studiando la verifica del programma e mi sono imbattuto nella seguente tripla:
$$ { top } ; p ; {y = (x+1) } $$ Qual è il significato del simbolo $ top $ sul preliminare? Significa che $ p $ può richiedere qualche input?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange