Composition semantics of programming languages
From MaRDI portal
Publication:1053445
zbMath0517.68033MaRDI QIDQ1053445
Publication date: 1982
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Mutual derivability of operations in program algebras. I, Completeness problems in classes of computable named functions, Composition aspects of programmology. I, Mutual derivability of operations in program algebras. II