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/0001H20.rdf
Fei He and Jitao Han: Termination analysis for evolving programs: an incremental approach by reusing certified modules. (2020) journals/pacmpl/0001H20 10.1145/3428267 Termination analysis for evolving programs: an incremental approach by reusing certified modules. 2 Fei He 0001 1 Jitao Han 2 199:1-199:27 Proc. ACM Program. Lang. Proc. ACM Program. Lang. 4 OOPSLA 2020 provenance information for RDF data of dblp record 'journals/pacmpl/0001H20' 2022-01-08T02:21:37+0100