Топ-100
Indietro

ⓘ Semantica operazionale. La semantica operazionale descrive lesecuzione di un programma attraverso transizioni definite direttamente sul linguaggio del programma ..




Semantica operazionale
                                     

ⓘ Semantica operazionale

La semantica operazionale descrive lesecuzione di un programma attraverso transizioni definite direttamente sul linguaggio del programma. Questo tipo di formalismo è concettualmente simile allinterpretazione vera e propria in cui abbiamo una macchina astratta le istruzioni applicano transizioni di stato in questa macchina. Abbiamo dunque una sequenza di passi computazionali definita per ogni programma e che viene generata solitamente con lapplicazione di un insieme di regole di inferenza sullinsieme delle istruzioni stesso.

In questa semantica i programmi:

a=1; b=0

e

a=1; b=0

sono equivalenti hanno lo stesso significato, ma il programma:

b=0; a=1

non è equivalente anche se il risultato finale è equivalente, le azioni non hanno avuto luogo nello stesso ordine.

                                     
  • questa semantica dev essere composizionale: la denotazione di una parte del programma dev essere costruita partendo da sue sotto istruzioni. La semantica operazionale
  • fornire una semantica formale dei linguaggi di programmazione includono la semantica assiomatica e la semantica operazionale La semantica denotazionale
  • un informatico scozzese. Sviluppò la semantica operazionale strutturale SOS ed ha lavorato anche sulla semantica denotazionale. In particolare, le sue
  • Calcolo algebrico, semantica formale dei linguaggi di programmazione come la semantica operazionale la semantica denotazionale, la semantica assiomatica e
  • informazioni. La sintassi e la semantica non sono formalmente definite. Le specifiche formali usano linguaggi che hanno sintassi e semantica definite in modo formale