Indietro

ⓘ Interpretazione astratta



                                     

ⓘ Interpretazione astratta

In informatica, l interpretazione astratta è una teoria di approssimazione valida della semantica dei programmi, basata su funzioni monotone su insiemi ordinati, in particolare reticoli. Può essere vista come una esecuzione parziale di un programma al fine di raccogliere informazioni sulla sua semantica senza eseguire tutti i calcoli.

La sua applicazione concreta è lanalisi statica, lestrazione di informazione automatica circa le possibili esecuzioni di programmi; tali analisi hanno due scopi principali:

  • nel debugging o per la certificazione di programmi contro classi di bug.
  • allinterno di compilatori, per analizzare programmi al fine di eseguire determinate ottimizzazioni o trasformazioni per esempio offuscamenti;

Linterpretazione astratta fu formalizzata dalla coppia francese Patrick Cousot e Radhia Cousot alla fine del 1970.

Free and no ads
no need to download or install

Pino - logical board game which is based on tactics and strategy. In general this is a remix of chess, checkers and corners. The game develops imagination, concentration, teaches how to solve tasks, plan their own actions and of course to think logically. It does not matter how much pieces you have, the main thing is how they are placement!

online intellectual game →