On the use of executable assertions in structured programs.

Ali Mili Sihem Guemara Ali Jaoua Paul Torrés

Published in: J. Syst. Softw. (1987)

Keyphrases

knowledge base
control flow
information technology
structured data
formal specification
fixpoint
image processing
case study
similarity measure
multiscale
computer programs
automatic programming
control structures
control program