Informatica teorica semantics

1

Qual è la differenza tra significato e denotazione?

Nella semantica del linguaggio di programmazione, si sente spesso che le persone parlano di significato e denotazione . Sembrano non essere gli stessi. Qual è la differenza? Il primo è associato alla semantica operativa mentre il secondo alla semantica denotazionale? Grazie.

10 pl.programming-languages semantics denotational-semantics operational-semantics

1

Nella teoria dei domini, a cosa può servire la struttura extra presente negli spazi metrici?

Il capitolo di Smyth nel manuale di logica in informatica e altri riferimenti descrivono come gli spazi metrici possono essere usati come domini. Capisco che gli spazi metrici completi danno punti fissi unici ma non capisco perché gli spazi metrici siano importanti. Gradirei davvero qualsiasi pensiero sulle seguenti domande. Quali …

10 semantics topology denotational-semantics domain-theory metrics

3

Che cos'è un buon dizionario di teoria della teoria del dominio di categoria?

Quando ho a che fare con le categorie teoriche del dominio (diciamo CPO e CPO), desidero spesso un dizionario per il linguaggio della teoria delle categorie nella teoria dei domini.ωω\omega Cioè, dato un concetto, dire la freccia monica, potrei cercarlo nel dizionario e vedere quali sono le caratterizzazioni note di …

10 ct.category-theory semantics denotational-semantics domain-theory

2

Compilatore certificato e ottimizzazioni in Coq / Agda

Sono interessato a compilatori verificati formalizzati nella teoria dei tipi di Martin-Löf, ovvero Coq / Agda. Al momento ho scritto un piccolo esempio di giocattolo. In tal modo posso dimostrare che le mie ottimizzazioni sono corrette. Ad esempio, è possibile eliminare le aggiunte con zero, ovvero espressioni come "x + …

9 reference-request pl.programming-languages type-theory semantics compilers

2

Definizione formale / controparte in matematica per "Oggetti" di modelli orientati agli oggetti

Questa è una domanda che ho posto nel forum di matematica su SE, e sono stato rinviato qui. Quindi ecco la domanda- Sono un principiante sia in matematica formale che in informatica teorica, quindi per favore abbi pazienza se trovi che la mia domanda non è correttamente inquadrata. La modellazione …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

Domande taggate «semantics»