Sign in
Jitao Han
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Active Rules
Termination Analysis
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Fei He
,
Jitao Han
Termination analysis for evolving programs: an incremental approach by reusing certified modules.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)