The following pages link to (Q5677070):
Displayed 9 items.
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Translatability of flowcharts into while programs (Q1211348) (← links)
- On the mechanical derivation of loop invariants (Q1322851) (← links)
- On proving the termination of algorithms by machine (Q1341666) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- Efficient Symbolic Representations for Arithmetic Constraints in Verification (Q5696928) (← links)