Information-logic connections in program schemes over arrays

DOI10.1007/BF01072300zbMath0445.68009OpenAlexW1995107659MaRDI QIDQ3890089

R. M. Nuriev

Publication date: 1979

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

arraysprogram schemeinformation-logic relations in flow charts over filesoptimizing computational resources

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Parallel execution of loops: The pyramid method

Cites Work

• Analysis of structured programs

This page was built for publication: Information-logic connections in program schemes over arrays