Proof Techniques for Hierarchically Structured Programs.

Lawrence Robinson Karl N. Levitt

Published in: Commun. ACM (1977)

Keyphrases

hierarchically structured
hierarchical structure
provably correct
imperative programs
theorem prover
computer programs
multiscale
theorem proving
data sets
social networks
website
high level
programming environment
automatic programming