Az Algol68 programozási nyelv

Helyességbizonyítás



Helyeségbizonyítás
A nyelvben nincsenek explicit helyesség bizonyításra szolgáló eszközök, a tervezők azonban arra ügyeltek, hogy ha lehetséges, könnyítsék a helyesség bizonyítást (pl.: automatikus ciklusváltozó).