Domande taggate «semantics»

Qual è la differenza fondamentale tra la semantica operativa di piccole e grandi dimensioni? Sto facendo fatica a capire di cosa si tratta e la motivazione per avere i due.

28 semantics  operational-semantics  small-step-semantics 

Sto cercando un semplice calcolo che supporti il ​​ragionamento sulla riflessione , ovvero l'introspezione e la manipolazione dei programmi in esecuzione. Esiste un'estensione -calculus non tipizzata che consente di convertire -terms in una forma che può essere sintatticamente manipolata e successivamente valutata?λλ\lambdaλλ\lambda Immagino che il calcolo abbia due principali termini …

23 logic  lambda-calculus  semantics  reflection 

Dato un sistema di transizione etichettato , dove S è un insieme di stati, Λ è un insieme di etichette e → ⊆ S × Λ × S è una relazione ternaria. Come al solito, scrivi p α → q per ( p , α , q ) ∈ → …

20 programming-languages  formal-methods  semantics  process-algebras 

Nel documento "Un tipo di dati JSON replicato senza conflitti" , ho riscontrato questa notazione per la definizione formale di "regole": Come si chiama questa notazione? Come lo leggo? Per esempio: la DOCregola non ha nulla nel suo "numeratore" - perché no? le regole EXECe GETsembrano avere due termini separati …

18 semantics  notation  formal-methods  operational-semantics 

Nei linguaggi di programmazione, le chiusure sono una caratteristica popolare e spesso desiderata. Wikipedia dice (enfasi sulla mia): In informatica, una chiusura (...) è una funzione insieme a un ambiente di riferimento per le variabili non locali di quella funzione. Una chiusura consente a una funzione di accedere a variabili …

18 programming-languages  semantics 

Sto davvero lottando con questa proprietà: Let sia spazi coerenti e è una funzione monotona. è continuo se e solo se , per tutti tale che D sia un insieme diretto.X,YX,YX,Yf f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) D ⊆ …

16 terminology  programming-languages  semantics 

Con riferimento a funzionalità in linguaggi come ruby ​​(e javascript), che consentono a un programmatore di estendere / sovrascrivere le classi in qualsiasi momento dopo averlo definito (comprese le classi come String), è teoricamente fattibile progettare un linguaggio che consenta ai programmi di estenderli in seguito la sua semantica. es: …

15 programming-languages  semantics 

Conosco la semantica operativa (sia piccoli che grandi) per definire i linguaggi di programmazione. Sono interessato anche all'apprendimento della 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 …

14 semantics  operational-semantics  denotational-semantics 

Supponiamo di avere un linguaggio semplice costituito dai termini: truetrue\mathtt{true} falsefalse\mathtt{false} se sono termini, allora lo è anchei ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Ora supponi le seguenti regole di valutazione logica: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 …

14 logic  semantics  proof-techniques  term-rewriting 

Penso di essere piuttosto confuso su ciò che viene chiamato un calcolo e ciò che viene chiamato un linguaggio di programmazione. Tendo a pensare, e potrebbe essere stato detto, che un calcolo è un sistema formale per ragionare sull'equivalenza dei programmi. I programmi hanno una semantica operativa specificata da una …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Ci sono molte lingue popolari. Ma gli informatici ci dicono che per capire il comportamento dei programmi in quelle lingue discutono in modo definitivo e inequivocabile del comportamento dei programmi (ad esempio, dimostrando la loro identità), dobbiamo tradurli in un altro linguaggio ben compreso. Chiamano tale linguaggio "una semantica". Gli …

13 formal-languages  semantics 

Esiste uno strumento per la prototipazione di una semantica del linguaggio di programmazione e di un sistema di tipi che consenta anche una sorta di controllo del modello delle proprietà standard, come la solidità del tipo? Lo sto chiedendo, perché sto leggendo un libro su Alloy e fornisce l'esatta funzionalità …

11 reference-request  programming-languages  semantics  model-checking 

Nella discussione intorno a questa domanda , Gilles menziona correttamente che qualsiasi prova di correttezza di un algoritmo che utilizza array deve dimostrare che non vi sono accessi fuori campo fuori campo; a seconda del modello di runtime, ciò provocherebbe un errore di runtime o l'accesso a elementi non array. …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Sto cercando risorse per iniziare con l' analisi del programma . L'unico libro che ho trovato sull'argomento è il libro Nielson & Nielson . Oltre a ciò, sembra che ci siano solo libri "compilatori" in cui "analisi del programma" sarebbe un capitolo o qualcosa del genere. Le persone conoscono altre …

10 reference-request  compilers  semantics