Quote: program structures are path-wise convertible if they define the same sequence of primitive actions and predicates for every input

Note

two structures are path-wise convertible if sequence of primitive actions and predicates is the same for every input (and no inaccessible components)

Related Topics

Topic: transformation of programs (27 items)
Group: program control   (27 topics, 547 quotes)