Algorithmic analysis of mixed computations

MaRDI QIDQ1103378zbMATH OpenFDO

Authors N. A. Krinitskij

Publication date 1987

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

zbMATH Keywords

mixed computationtheory of algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Review text

Methods of the analytical theory of algorithms are applied to analyze and formalize the notion of mixed computation. Its relationship with some concepts and problems of the theory of algorithms is established.

Recommendations

• Polyvariant mixed computation for analyzer programs
• scientific article; zbMATH DE number 3934392
• From partial evaluation to mixed computation
• scientific article; zbMATH DE number 3986622
• An algebra of mixed computation

Cited in

(2)

• An algebra of mixed computation
• Polyvariant mixed computation for analyzer programs

This page was built for publication: Algorithmic analysis of mixed computations

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