Proof of the characteristics of programs containing procedures and conditional operators

zbMath0419.68017MaRDI QIDQ1132554

S. A. Solakhyan

Publication date: 1977

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

zbMATH Keywords

recursionprogramming languagesformal logiccharacteristics of programsconditional operatorsprocedure call operator

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Semantics of algorithmic languages

This page was built for publication: Proof of the characteristics of programs containing procedures and conditional operators