This paper constructs a instance of PCP problem of the concurrent interprocedural program analysis problem, but with only two concurrent tasks.
英
美
释义
利用反射的思想,仅仅用两个并发任务构造该问题的一个PCP问题实例,证明在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载