Algorithms of structured synthesis of programs

MaRDI QIDQ1156475zbMATH OpenFDO

Authors M. Ya. Kharf, É. Kh. Tyugu

Publication date 1980

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

zbMATH Keywords

estimates of complexity of program synthesis algorithms

Mathematics Subject Classification ID

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

Cited in

(1)

• Automatic synthesis of action programs for intelligent robots

This page was built for publication: Algorithms of structured synthesis of programs

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