Domande taggate «semantics»

4
Perché abbiamo bisogno della semantica formale per la logica predicata?
Considera risolta questa domanda. Non sceglierò una risposta migliore poiché tutti hanno contribuito alla mia comprensione dell'argomento. Non sono sicuro di quale beneficio abbiamo definendo formalmente la semantica della logica predicata. Ma vedo valore nell'avere un calcolo di prova formale. Il mio punto è che non avremmo bisogno della semantica …
4
In che modo le lingue imperative sono più diverse l'una dall'altra rispetto alle lingue funzionali?
Sto leggendo L'implementazione dei linguaggi di programmazione funzionale di Simon Peyton Jones e c'è un'affermazione che mi ha sorpreso un po '(a pagina 39): In misura molto maggiore rispetto alle lingue imperative, le lingue funzionali sono in gran parte variazioni sintattiche l'una dell'altra, con relativamente poche differenze semantiche. Ora, questo …
2
Piena completezza e completa astrazione della traduzione di un programma
Gli sforzi di verifica del compilatore spesso si riducono a dimostrare che il compilatore è completamente astratto: che preserva e riflette le equivalenze (contestuali). Invece di fornire prove complete di astrazione, alcuni recenti lavori di verifica del compilatore (basati su categorie) di Hasegawa [ 1 , 2 ] e Egger …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.