Automatic Transformation from SOFL Module Specifications to Program Structures.

Xiongwen Luo Shaoying Liu

Published in: SOFL+MSVL (2015)

Keyphrases

fully automatic
data driven
high level
computer programs
structural analysis
control flow
recursive programs
real world
information extraction
semi automatic
complex structures
structural features
formal verification
program synthesis