Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag operational-semantics - Questa è pagina 1 - GeneraCodice
Qual è la differenza tra: semantica operativa, denotazionale e assiomatica?
https://www.generacodice.com/it/articolo/1609935/qual-e-la-differenza-tra-semantica-operativa-denotazionale-e-assiomatica
semantics
-
operational-semantics
-
denotational-semantics
cs.stackexchange
Modello formale di esecuzione per Java (o lingua imperativa generale)
https://www.generacodice.com/it/articolo/1590121/modello-formale-di-esecuzione-per-java-o-lingua-imperativa-generale
java
-
semantics
-
programming-languages
-
operational-semantics
cs.stackexchange
Quale rappresentazione formale è comunemente usata per descrivere le ottimizzazioni del compilatore?
https://www.generacodice.com/it/articolo/1584486/quale-rappresentazione-formale-e-comunemente-usata-per-descrivere-le-ottimizzazioni-del-compilatore
semantics
-
formal-languages
-
compilers
-
operational-semantics
-
program-optimization
cs.stackexchange
Qual è la differenza tra un calcolo e un linguaggio di programmazione?
https://www.generacodice.com/it/articolo/1584387/qual-e-la-differenza-tra-un-calcolo-e-un-linguaggio-di-programmazione
terminology
-
semantics
-
programming-languages
-
lambda-calculus
-
operational-semantics
cs.stackexchange
Come viene definito un sistema di transizione nella semantica operativa?
https://www.generacodice.com/it/articolo/1576758/come-viene-definito-un-sistema-di-transizione-nella-semantica-operativa
formal-languages
-
operational-semantics
cs.stackexchange
A quali domande può rispondere alla semantica denotazionale a cui la semantica operativa non può?
https://www.generacodice.com/it/articolo/1573658/a-quali-domande-puo-rispondere-alla-semantica-denotazionale-a-cui-la-semantica-operativa-non-puo
semantics
-
operational-semantics
-
denotational-semantics
cs.stackexchange
Qual è questa notazione in stile "matematica discreta" simile alla frazione utilizzata per le regole formali?
https://www.generacodice.com/it/articolo/1572114/qual-e-questa-notazione-in-stile-matematica-discreta-simile-alla-frazione-utilizzata-per-le-regole-formali
semantics
-
formal-methods
-
notation
-
operational-semantics
cs.stackexchange
Differenza tra semantica operativa piccola e grande
https://www.generacodice.com/it/articolo/1546141/differenza-tra-semantica-operativa-piccola-e-grande
semantics
-
operational-semantics
-
small-step-semantics
cs.stackexchange
Prova tramite induzione per semantica a piccolo passaggio
https://www.generacodice.com/it/articolo/1535453/prova-tramite-induzione-per-semantica-a-piccolo-passaggio
semantics
-
programming-languages
-
proof-techniques
-
operational-semantics
cs.stackexchange
Semantica di piccoli passi: per loops
https://www.generacodice.com/it/articolo/1496061/semantica-di-piccoli-passi-per-loops
semantics
-
programming-languages
-
formal-languages
-
operational-semantics
-
small-step-semantics
cs.stackexchange
«
1
2
3
4
5
»
Risultati trovati: 43