Toward a theory of loop cleaning

MaRDI QIDQ1156471zbMATHFDO

Authors I. V. Pottosin, O. V. Yugrinova

Publication date 1980

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

linear schemata

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Loop cleaning

This page was built for publication: Toward a theory of loop cleaning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1156471)