Synthesis of optimal programs using computation models

zbMATH Open0468.68008MaRDI QIDQ1156473FDOQ1156473

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)