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 hoare-logic - Questa è pagina 6 - GeneraCodice
Come dimostrare l'equivalenza tra gli assiomi di assegnazione di Hoare e Floyd?
https://www.generacodice.com/it/articolo/1590237/come-dimostrare-l-equivalenza-tra-gli-assiomi-di-assegnazione-di-hoare-e-floyd
hoare-logic
-
software-verification
cs.stackexchange
Relazione tra teoria del tipo di hoare e puntatori
https://www.generacodice.com/it/articolo/1589626/relazione-tra-teoria-del-tipo-di-hoare-e-puntatori
type-theory
-
hoare-logic
-
dependent-types
cs.stackexchange
HOARE LOGIC - CONTRUZIONE TOTALE DEI LOOP
https://www.generacodice.com/it/articolo/1583552/hoare-logic-contruzione-totale-dei-loop
hoare-logic
cs.stackexchange
Dimostrare il ciclo invariante per un semplice programma nella logica Hoare
https://www.generacodice.com/it/articolo/1580874/dimostrare-il-ciclo-invariante-per-un-semplice-programma-nella-logica-hoare
loop-invariants
-
hoare-logic
-
check-my-answer
cs.stackexchange
Qual è il significato del simbolo $ top $ in una tripla hoare?
https://www.generacodice.com/it/articolo/1576962/qual-e-il-significato-del-simbolo-top-in-una-tripla-hoare
hoare-logic
-
software-verification
cs.stackexchange
Cosa significa "rafforzare il presupposto e indebolire la postcondizionamento" in Hoare Logic?
https://www.generacodice.com/it/articolo/1576330/cosa-significa-rafforzare-il-presupposto-e-indebolire-la-postcondizionamento-in-hoare-logic
semantics
-
correctness-proof
-
hoare-logic
cs.stackexchange
Come cambiare le implicazioni dell'algoritmo cambiando l'invariante?
https://www.generacodice.com/it/articolo/1573807/come-cambiare-le-implicazioni-dell-algoritmo-cambiando-l-invariante
algorithms
-
hoare-logic
cs.stackexchange
Differenza tra tipo dipendente, tipo di raffinamento e logica Hoare
https://www.generacodice.com/it/articolo/1566021/differenza-tra-tipo-dipendente-tipo-di-raffinamento-e-logica-hoare
hoare-logic
-
dependent-types
cs.stackexchange
Come trovare loop invariante dal presupposto più debole?
https://www.generacodice.com/it/articolo/1566018/come-trovare-loop-invariante-dal-presupposto-piu-debole
loop-invariants
-
correctness-proof
-
hoare-logic
cs.stackexchange
Controlla se gli invarianti del loop sono corretti?
https://www.generacodice.com/it/articolo/1561557/controlla-se-gli-invarianti-del-loop-sono-corretti
loop-invariants
-
correctness-proof
-
hoare-logic
-
software-verification
cs.stackexchange
«
3
4
5
6
7
8
»
Risultati trovati: 79