An algebraic approach to schemes of structured programs

zbMath0542.68009MaRDI QIDQ795496

Alexey L. Lastovetsky

Publication date: 1984

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

zbMATH Keywords

comparative schematologyfunctional properties of programsoperation-functional properties of structured nonrecursive programs

Mathematics Subject Classification ID

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

This page was built for publication: An algebraic approach to schemes of structured programs