Composition semantics of programming languages

zbMath0517.68033MaRDI QIDQ1053445

N. S. Nikitchenko

Publication date: 1982

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

zbMATH Keywords

program semanticscomposition programming

Mathematics Subject Classification ID

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

Related Items (4)

Mutual derivability of operations in program algebras. II ⋮ 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: Composition semantics of programming languages