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
scroll top