Computable compositions and universal program logics
From MaRDI portal
Publication:800721
zbMath0551.68028MaRDI QIDQ800721
Publication date: 1983
Published in: Programming and Computer Software (Search for Journal in Brave)
Church's thesis; partial recursive function; composition programming; computable composition; universal imperative program logics
68Q65: Abstract data types; algebraic specification
Related Items
Mutual derivability of operations in program algebras. I, Completeness problems in classes of computable named functions, Composition aspects of programmology. I