Топ-100
Indietro

ⓘ Semantica formale. Nel campo dellinformatica teorica, il termine semantica formale riguarda i modelli matematici che definiscono formalmente i linguaggi di prog ..




                                     

ⓘ Semantica formale

Nel campo dellinformatica teorica, il termine semantica formale riguarda i modelli matematici che definiscono formalmente i linguaggi di programmazione o, più generalmente, la computazione stessa.

Esistono molteplici approcci allo studio di queste semantiche; i quali ricadono in 3 categorie principali:

  • La semantica denotazionale; che si preoccupa di formalizzare lesecuzione delle istruzioni di un linguaggio di programmazione utilizzando degli oggetti matematici, chiamati denotazioni, che ne descrivono il significato e quindi lesecuzione. In genere questa semantica devessere composizionale: la denotazione di una parte del programma devessere costruita partendo da sue sotto istruzioni.
  • La semantica operazionale; che 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 che può essere non deterministica e che viene generata solitamente con lapplicazione di un insieme di regole di inferenza sullinsieme delle istruzioni stesso.
  • La semantica assiomatica; che come la precedente si basa sul contraddistinguere lo stato della computazione ma utilizza dei predicati logici per definire lo stato attuale. Questo tipo di semantica non distingue la verità implicata da una parte di codice ed il significato dello stesso: sono esattamente la stessa cosa. In genere si utilizza per cercare di verificare la correttezza dei programmi ed il suo esempio più lampante e classico è la logica di Hoare
                                     
  • Calcolo algebrico, semantica formale dei linguaggi di programmazione come la semantica operazionale, la semantica denotazionale, la semantica assiomatica e
  • fornire una semantica formale dei linguaggi di programmazione includono la semantica assiomatica e la semantica operazionale. La semantica denotazionale
  • vedi Semantica disambigua La semantica dal greco sêma, segno è quella parte della linguistica che studia il significato delle parole semantica lessicale
  • rappresentare la sua stessa semantica Un corollario è che ogni metalinguaggio capace di esprimere la semantica di un linguaggio formale deve avere una potenza
  • sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione. In altri termini, la nozione di sistema formale corrisponde
  • semantica a pagine HTML e XML. Un esempio di rete semantica è il WordNet, un database lessicale della lingua inglese. WordNet comporta un semantica associativa
  • per il web semantico È basata sulla rappresentazione e l inferenza che unisce i linguaggi di frame description con la semantica formale e le abilità
  • matematica dare una semantica ad un sistema formale significa assegnare opportune classi di modelli alle formule del sistema. l aggettivo semantico è anche utilizzato
  • dalla necessità di definire un linguaggio per workflow basato su una semantica formale ed in grado di offire supporto per tutti i Workflow Patterns. Osservando
  • un estensione, OWL fa parte del progetto del web semantico Il linguaggio OWL è costituito da una semantica formale costruita dal consorzio W3C sulla base dello