. . . . . “Emanuele D’Osualdo等人：TaDA Live：细粒度并发程序终止的合成推理（2021）”。 . _：ID_077ef1c6e5c8d45c3e5354c96ce47b9b。_：ID_077ef1c6e5c8d45c3e5354c96ce47b9b ._：ID_077ef1c6e5c8d45c3 e5354c96ce47b9b ._：ID_077ef1c6e5c8d45c3e5354c96ce47b9b ._：ID_077ef1c6e5c8d45c3e5354c96ce47b9b“期刊/toplas/DOsualdoSFG21”。 _：ID_82cf9587b06df01f9e37980019d9b453。_：ID_82cf9587b06df01f9e37980019d9b453 ._：ID_82cf9587b06df01f9e37980019d9b453 ._：ID_82cf9587b06df01f9e37980019d9b453 ._：ID_82cf9587b06df01f9e37980019d9b453"10.1145/3477082" . “TaDA Live：细粒度并发程序终止的合成推理”。 . . . . . . . . . "4"^^. _：Sig_72017ebab1600a18a8d5e1bd387bb157_1。_：Sig_72017ebab1600a18a8d5e1bd387bb157_1 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_1 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_1“Emanuele D'Osualdo”。_：Sig_72017ebab1600a18a8d5e1bd387bb157_1 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_1 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_1"1"^^._：Sig_72017ebab1600a18a8d5e1bd387bb157_1 . _：Sig_72017ebab1600a18a8d5e1bd387bb157_2。_：Sig_72017ebab1600a18a8d5e1bd387bb157_2 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_2 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_2“朱利安·萨瑟兰”。_：Sig_72017ebab1600a18a8d5e1bd387bb157_2 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_2"2"^^._：Sig_72017ebab1600a18a8d5e1bd387bb157_2 . _：Sig_72017ebab1600a18a8d5e1bd387bb157_3。_：Sig_72017ebab1600a18a8d5e1bd387bb157_3 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_3 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_3“阿扎德·法赞”。_：Sig_72017ebab1600a18a8d5e1bd387bb157_3 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_3"3"^^._：Sig_72017ebab1600a18a8d5e1bd387bb157_3 . _：Sig_72017ebab1600a18a8d5e1bd387bb157_4。_：Sig_72017ebab1600a18a8d5e1bd387bb157_4 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_4 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_4“菲利普·加德纳”。_：Sig_72017ebab1600a18a8d5e1bd387bb157_4 ._：Sig_72017ebab1600a18a8d5e1bd387bb157_4"4"^^._：Sig_72017ebab1600a18a8d5e1bd387bb157_4 . . . . . "16:1-16:134" . “ACM事务程序语言系统”。 “ACM事务程序语言系统”。 "43" . "4" . "2021"^^. “dblp记录‘journals/toplas/DOsualdoSFG21’的RDF数据的来源信息”。 . . . “2021-12-15T10:29:22+0100”。