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
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
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John C. Cherniavsky