Un interprete astratto per l’inferenza dei tipi Contenuti l’inferenza dei tipi come interprete astratto denotazionale



Scaricare 487 b.
Pagina1/12
29.03.2019
Dimensione del file487 b.
  1   2   3   4   5   6   7   8   9   ...   12


Un interprete astratto per l’inferenza dei tipi


Contenuti



L’inferenza dei tipi come interprete astratto denotazionale

  • perché basta la semantica denotazionale

    • i tipi sono astrazioni dei valori e possono essere osservati anche sulla semantica denotazionale
      • in altre analisi (per esempio, relative al dimensionamento dei frames locali) ho bisogno di semantiche più dettagliate
    • in quasi tutte le analisi statiche, le funzioni devono essere analizzate al momento della definizione
      • mi serve una semantica vera della astrazione
      • gratis in una semantica denotazionale
      • in un interprete dettagliato può essere opportuno introdurre un trattamento “denotazionale” delle funzioni





Condividi con i tuoi amici:
  1   2   3   4   5   6   7   8   9   ...   12


©astratto.info 2019
invia messaggio

    Pagina principale