Equivalent transformations of multiple schemas

zbMATH Open0517.68034MaRDI QIDQ1053447FDOQ1053447

Authors: Victor N. Kasyanov 

Publication date: 1982

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

zbMATH Keywords

recursive procedureloopsprogram optimization

Mathematics Subject Classification ID

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

This page was built for publication: Equivalent transformations of multiple schemas

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