John C. Cherniavsky

Available identifiers

zbMath Open cherniavsky.john-cMaRDI QIDQ598791

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4028352	1993-03-28	Paper
A Recursion Theoretic Approach to Program Testing	1987-01-01	Paper
On Transforming Control Structures	1982-01-01	Paper
A note concerning top down program development and restricted exit control structures	1979-01-01	Paper
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language	1979-01-01	Paper
Erratum to: Function iteration logics and flowchart schemata	1979-01-01	Paper
On finding test data sets for loop free programs	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3860821	1979-01-01	Paper
Simple Programs Realize Exactly Presburger Formulas	1976-01-01	Paper
Function iteration logics and flowchart schemata	1975-01-01	Paper

Research outcomes over time

This page was built for person: John C. Cherniavsky