Domande taggate «pl.programming-languages»

I linguaggi di programmazione, in particolare, si concentrano sulla loro semantica.

2
È possibile trascurare il costo di GC quando si analizza il tempo di esecuzione delle strutture di dati nel caso peggiore specificate in un linguaggio di programmazione raccolto in modo inutile?
Ho appena capito che ho assunto la risposta alla mia domanda è "sì", ma non ho una buona ragione. Immagino che forse esista un garbage collector che introduce in modo dimostrabile solo il rallentamento del caso peggiore di . C'è un riferimento definitivo che posso citare? Nel mio caso sto …
1
I calcoli lambda stocastici di Scott
Di recente, Dana Scott ha proposto un calcolo lambda stocastico, un tentativo di introdurre elementi probabilistici nel calcolo lambda (non tipizzato) basato su una semantica chiamata modello grafico. Puoi trovare le sue diapositive on line ad esempio qui e il suo articolo nel Journal of Applied Logic , vol. 12 …
3
Regola frame come conservatore di modifiche?
Una regola di frame , come quella indicata di seguito, cattura l'idea che, dato un programma ccon precondizione pche vale prima che venga eseguito e postcondizione qche detiene in seguito, alcune condizioni disgiunte rdovrebbero contenere sia prima che dopo l' cesecuzione. (La *connettiva richiede che i suoi argomenti siano disgiunti.) …
2
Sottotipo implicito vs esplicito
Questa pagina afferma che molte lingue non usano il sottotipo implicito (equivalenza strutturale), preferendo il sottotipo esplicito / dichiarato (equivalenza di dichiarazione) Ho principalmente usato linguaggi di programmazione che usano il sottotipo esplicito . Quali sono i vantaggi del sottotipo implicito, come descritto nelle note sopra.
1
Elenco di problemi di complessità (irrisolti) derivanti da PL
Quali sono alcuni dei principali problemi di complessità computazionale aperti che sorgono dai linguaggi di programmazione, in particolare l'analisi dei programmi e la compilazione? Sto cercando problemi sulla falsariga di "la complessità temporale dell'inferenza di tipo Hindley-Milner" o "la complessità temporale di 0CFA" (sebbene entrambi siano problemi risolti).
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.