Axiomatická sémantika - Axiomatic semantics
 | tento článek ne uvést žádný Zdroje. (Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
| Sémantika | ||||||||
|---|---|---|---|---|---|---|---|---|
| Výpočetní | ||||||||
| ||||||||
Axiomatická sémantika je přístup založený na matematická logika za prokázání správnost počítačových programů. Je to úzce spjato s Logika hoare.
Axiomatická sémantika definuje význam příkazu v programu popisem jeho vlivu na tvrzení o stavu programu. Tvrzení jsou logická prohlášení - predikáty s proměnnými, kde proměnné definují stav programu.
Viz také
- Algebraická sémantika (informatika) - pokud jde o algebry
- Denotační sémantika - překladem programu do jiného jazyka
- Provozní sémantika - z hlediska stavu výpočtu
- Formální sémantika programovacích jazyků - přehled
- Predikátová sémantika transformátoru - popisuje význam fragmentu programu jako funkce transformující a podmínka do předpoklad potřeboval to založit.
- Assertion (computing)
 | Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |