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)

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

(1)

• 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)