On the theory of program algebras

DOI10.1007/BF01268431MaRDI QIDQ1066663zbMATH OpenOpenAlexFDO

Authors A. V. Mavlyanov, D. B. Buj

Publication date 1984

Published in Ukrainian Mathematical Journal (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Translation from Ukr. Mat. Zh. 36, No.6, 761-764 (Russian) (1984).

Cited in

(7)

• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• scientific article; zbMATH DE number 4007715 (Why is no real title available?)
• On the algebraic definition of programming languages
• Primitive program algebras of computable functions
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)
• Program algebras of recursive functions
• Representability and program construction within fork algebras

This page was built for publication: On the theory of program algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066663)