Modeling of programs by flow diagrams and construction of diagram transformation systems

DOI10.1007/BF01069159zbMATH Open0506.68017MaRDI QIDQ4743716

R. I. Podlovchenko

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

conversion of programs to their flow diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Semigroup program models

This page was built for publication: Modeling of programs by flow diagrams and construction of diagram transformation systems

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