Pages that link to "Item:Q4170194"
From MaRDI portal
The following pages link to A Complete and Consistent Hoare Axiomatics for a Simple Programming Language (Q4170194):
Displayed 7 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Simple programming languages and restricted classes of Turing machines (Q792760) (← links)
- Some simplified undecidable and NP-hard problems for simple programs (Q1157168) (← links)
- Hierarchical development of programming languages (Q1161053) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- On the zero-inequivalence problem for loop programs (Q1171383) (← links)
- Program invariants as fixedpoints (Q1254848) (← links)