Scienza del computer semantics

3

Il conteggio dei riferimenti GC e GC di tracciamento è una proprietà del linguaggio o una proprietà di implementazione?

A volte sentiamo "Swift non fa il classico (tracciamento) GC, usa ARC." Ma non sono sicuro che ci sia qualcosa nella semantica di Swift che richieda il conteggio dei riferimenti. Sembra che si possa costruire il proprio compilatore e runtime Swift per usare GC di traccia. Quindi, cos'è esattamente "contato …

9 semantics garbage-collection

4

Che cos'è una sorta di semantica del linguaggio di programmazione?

Nel capitolo 1 di Basi pratiche per i linguaggi di programmazione , l'autore menziona che gli alberi di sintassi astratti sono associati a specie . Intuitivamente, i tipi sono come i tipi, ma mi piacerebbe sapere se hanno una definizione precisa. Sarei felice se anche alcuni riferimenti fossero forniti.

9 terminology programming-languages semantics

2

Quale fixpoint è il tipo di elenco Haskell?

Diciamo che gli elenchi sono definiti come List a = Nil | Cons a (List a) Quindi, in Haskell è List xil punto di correzione più grande o meno? Sto chiedendo perché lfp dovrebbe escludere elenchi infiniti (ma è possibile costruirli in Haskell), mentre gfp dovrebbe escludere quelli finiti.

9 programming-languages type-theory functional-programming semantics category-theory

2

Esiste una definizione canonica della funzione "pura"?

StackOverflow mi ha indicato qui, quindi la domanda potrebbe essere un po 'nei termini di un laico. Wikipedia definisce funzioni pure come Nella programmazione al computer, una funzione può essere descritta come una funzione pura se entrambe queste affermazioni sulla funzione contengono: La funzione valuta sempre lo stesso valore di …

9 terminology functional-programming semantics

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

1

Lambda Calculus: come funzionano i contesti di valutazione

Nel calcolo lambda puro, abbiamo l'insieme di termini definito induttivamente (la grammatica): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Sotto la strategia di valutazione call-by-value, abbiamo le regole di inferenza per la riduzione beta e le regole su come valutare le applicazioni (regole di congruenza). Sto cercando …

8 programming-languages lambda-calculus semantics

1

Descrivere formalmente un nuovo linguaggio di programmazione specifico per il dominio

Sto per implementare un linguaggio specifico di dominio per la rappresentazione delle convenzioni di apprendimento sociale. Parte dell'implementazione è una descrizione formale di un linguaggio: il suo "calcolo", i simboli e le espressioni logiche. Il mio approccio sarebbe quello di descrivere il linguaggio descrivendone la grammatica ma ci sono anche …

8 formal-languages programming-languages semantics

Domande taggate «semantics»