This paper constructs a instance of PCP problem of the concurrent interprocedural program analysis problem, but with only two concurrent tasks.

　
英 美
  • 利用反射的思想，僅僅用兩個(gè)并發(fā)任務(wù)構造該問(wèn)題的一個(gè)PCP問(wèn)題實(shí)例，證明在兩個(gè)并發(fā)任務(wù)的情況下，過(guò)程間并發(fā)程序分析是一個(gè)不可判定問(wèn)題。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan