A quali domande può rispondere alla semantica denotazionale a cui la semantica operativa non può?
-
04-11-2019 - |
Domanda
Ho familiarità con la semantica operativa (sia per piccoli passi che big-step) per la definizione dei linguaggi di programmazione. Sono interessato anche ad imparare la semantica denotazionale, ma non sono sicuro che ne varrà la pena. Imparerò solo lo stesso materiale da un diverso punto di vista o ci sono intuizioni che posso ottenere solo dalla comprensione della semantica di denotazione?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange