Computable compositions and universal program logics

zbMath0551.68028MaRDI QIDQ800721

N. S. Nikitchenko

Publication date: 1983

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

zbMATH Keywords

Church's thesispartial recursive functioncomposition programmingcomputable compositionuniversal imperative program logics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Composition aspects of programmology. I ⋮ Completeness problems in classes of computable named functions ⋮ Mutual derivability of operations in program algebras. I

This page was built for publication: Computable compositions and universal program logics