iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/pacmpl/Tunc0P023.rdf
Hünkar Can Tunç et al.: Sound Dynamic Deadlock Prediction in Linear Time. (2023) journals/pacmpl/Tunc0P023 10.1145/3591291 Sound Dynamic Deadlock Prediction in Linear Time. 4 Hünkar Can Tunç 1 Umang Mathur 0001 2 Andreas Pavlogiannis 3 Mahesh Viswanathan 0001 4 1733-1758 Proc. ACM Program. Lang. Proc. ACM Program. Lang. 7 PLDI 2023 provenance information for RDF data of dblp record 'journals/pacmpl/Tunc0P023' 2023-08-28T17:23:09+0200