Programmazione strutturata: differenze tra le versioni

Versione delle 01:17, 17 dic 2017

Versione delle 14:22, 21 gen 2018

Riga 4:

== Origini concettuali ==

Le idee chiave della programmazione strutturata si possono ricondurre alla critica della [[struttura di controllo]] del ''[[GOTO|salto incondizionato]]'' (o ''goto'', "vai a"), che rappresentava, negli [[anni 1960|anni sessanta]], lo strumento fondamentale per la definizione di [[algoritmo|algoritmi]] complessi nel software. In un celebre articolo del [[1968]], [https://web.archive.org/web/20070703050443/http://www.acm.org/classics/oct95/ ''Goto statement considered harmful''], [[Edsger Dijkstra]] discusse approfonditamente gli effetti deleteri del ''goto'' sulla qualità del software, e in particolare sulla sua [[leggibilità (software)|leggibilità]] e [[modificabilità (software)|modificabilità]] (il cosiddetto problema dello ''[[spaghetti code]]'').

Un'altra celebre pubblicazione che risultò fondamentale all'affermarsi della programmazione strutturata fu ''Flow Diagrams, Turing Machines, and Languages with Only Two Formation Rules'', in cui [[Corrado Böhm]] e [[Giuseppe Jacopini]] dimostrarono il [[Teorema di Böhm-Jacopini|loro celebre teorema]]. Secondo tale teorema, qualsiasi programma scritto usando il ''goto'' poteva essere riscritto senza, a patto di avere a disposizione altri tre tipi di strutture di controllo: ''sequenza'', ''selezione'' e ''ciclo''. Il risultato di Böhm-Jacopini può anche essere espresso dicendo che, dato un qualunque [[diagramma di flusso]], ne esiste almeno un altro che a parità di input produce sempre gli stessi output del primo e in cui i nodi del diagramma di flusso rispettano un certo insieme di vincoli.

Riga 71:

== Collegamenti esterni ==

* [https://web.archive.org/web/20070703050443/http://www.acm.org/classics/oct95/ ''Go To Statement Considered Harmful''] l'articolo originale di [[Edsger Dijkstra]]

* {{cita web|url=http://portal.acm.org/citation.cfm?id=365646&jmp=cit&dl=GUIDE&dl=ACM&CFID=10941068&CFTOKEN=59269176#CIT|titolo=Formulazione originale del teorema di Böhm-Jacopini}}

* {{cita web|http://algobuild.com/|Algobuild: Editor gratuito di flow chart e pseudo codice strutturati (EN - IT)}}