Synthesis of correct programs out of correct subroutines

zbMath0428.68020MaRDI QIDQ1137369

N. N. Nepejvoda

Publication date: 1979

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

zbMATH Keywords

program correctnesscorrect subroutinessynthesis of correct programs

Mathematics Subject Classification ID

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

This page was built for publication: Synthesis of correct programs out of correct subroutines