“TaDA Live:细粒度终止的合成推理…”
伊曼纽尔·德奥斯瓦尔多 , 朱利安·萨瑟兰 , 阿扎德·法尔赞 , 菲利普·加德纳 :
TaDA-Live:细粒度并发程序终止的组合推理。 ACM事务处理。 程序。 语言系统。 43 ( 4 ) : 16:1-16:134 ( 2021 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。