The following pages link to John C. Cherniavsky (Q598791):
Displayed 12 items.
- A note concerning top down program development and restricted exit control structures (Q598794) (← links)
- Item:Q598791 (redirect page) (← links)
- Erratum to: Function iteration logics and flowchart schemata (Q1135641) (← links)
- Item:Q598791 (redirect page) (← links)
- Function iteration logics and flowchart schemata (Q1226854) (← links)
- On finding test data sets for loop free programs (Q1253889) (← links)
- (Q3860821) (← links)
- On Transforming Control Structures (Q3938461) (← links)
- (Q4028352) (← links)
- Simple Programs Realize Exactly Presburger Formulas (Q4124274) (← links)
- A Complete and Consistent Hoare Axiomatics for a Simple Programming Language (Q4170194) (← links)
- A Recursion Theoretic Approach to Program Testing (Q4727403) (← links)