Il rapporto descrive le caratteristiche del linguaggio intermedio LINT di un sistema per lo sviluppo di software basato sull'esecuzione simbolica di programmi e su tecniche di specifica formale ed eseguibile di astrazioni. Le paragrafo 1 viene impostato il problema delle metodologie per lo sviluppo di software affidabile. L'utilizzo pratico di tali metodologie richiede l'introduzione di un sistema di sviluppo che il modo coerente con la metodologia fornisca ai progettisti ed ai programmatori un insieme integrato di strumenti di supporto. Fra questi strumenti molto importanti sono l'interprete simbolico dei programmi ed il sistema di interazione che permette sviluppo, debugging e modifica incrementale dei programmi. Nel paragrafo 2 vengono discusse le ragioni a sostegno della introduzione di un linguaggio intermedio come supporto sia alla interpretazione (simbolica) che al sistema di interazione. Il paragrafo 3 descrive le caratteristiche salienti del trattamento del flusso del controllo in LINT e il paragrafo 4 il trattamento delle espressioni di manipolazione dei dati.
Un Linguaggio Intermedio per un Sistema Interattivo di Sviluppo di Software per Livelli di Astrazione
SIROVICH, Franco
1978-01-01
Abstract
Il rapporto descrive le caratteristiche del linguaggio intermedio LINT di un sistema per lo sviluppo di software basato sull'esecuzione simbolica di programmi e su tecniche di specifica formale ed eseguibile di astrazioni. Le paragrafo 1 viene impostato il problema delle metodologie per lo sviluppo di software affidabile. L'utilizzo pratico di tali metodologie richiede l'introduzione di un sistema di sviluppo che il modo coerente con la metodologia fornisca ai progettisti ed ai programmatori un insieme integrato di strumenti di supporto. Fra questi strumenti molto importanti sono l'interprete simbolico dei programmi ed il sistema di interazione che permette sviluppo, debugging e modifica incrementale dei programmi. Nel paragrafo 2 vengono discusse le ragioni a sostegno della introduzione di un linguaggio intermedio come supporto sia alla interpretazione (simbolica) che al sistema di interazione. Il paragrafo 3 descrive le caratteristiche salienti del trattamento del flusso del controllo in LINT e il paragrafo 4 il trattamento delle espressioni di manipolazione dei dati.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
