Mutual derivability of operations in program algebras. I

DOI10.1007/BF01069524zbMath0718.68017OpenAlexW4231818761MaRDI QIDQ5750388

A. V. Mavlyanov, D. B. Buy

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01069524

zbMATH Keywords

programming language semanticsprogram algebras

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Mutual derivability of operations in program algebras. II

Cites Work

• Computable compositions and universal program logics
• Composition semantics of programming languages
• Computable stack functions for semantics of stack programs
• Can programming be liberated from the von Neumann style?

This page was built for publication: Mutual derivability of operations in program algebras. I