two structures are semantically convertible if both compute the same function using the same set of primitive actions and predicates.
Related Topics
Topic: transformation of programs (27 items) Group: program control (27 topics, 547 quotes)