Synthesis of optimal programs using computation models

MaRDI QIDQ1156473zbMATH OpenFDO

Authors V. Val'kovs'kyj

Publication date 1980

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

zbMATH Keywords

program designformalization of the object environment

Mathematics Subject Classification ID

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

This page was built for publication: Synthesis of optimal programs using computation models

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