The following pages link to A note on the for statement (Q5659054):
Displaying 8 items.
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- An axiomatic definition of the programming language Pascal (Q2560721) (← links)
- Synthesis of the programmed functions offor loops on data structures (Q3804172) (← links)
- Source program optimization with a generalized FOR statement (Q4174737) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)
