Correctness of Mixed Computation in Algol-Like Programs.

Andrei P. Ershov V. E. Itkin

Published in: MFCS (1977)

Keyphrases

provably correct
real world
data sets
information systems
data model
programming language
answer sets
efficient computation
computer programs
intermediate level
automatic programming
control structures
control program