海词手机词典
  • Given an activity and variables referenced by this activity (called slicing criterion), one can analyze and obtain the process segment which influences the slicing criterion during process slicing.

    播放读音 播放读音