External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DynamiTe: dynamic termination and non-termination proofs

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen. DynamiTe: dynamic termination and non-termination proofs. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Ton Chanh Le

This author has not been identified. Look up 'Ton Chanh Le' in Google

Timos Antonopoulos

This author has not been identified. Look up 'Timos Antonopoulos' in Google

Parisa Fathololumi

This author has not been identified. Look up 'Parisa Fathololumi' in Google

Eric Koskinen

This author has not been identified. Look up 'Eric Koskinen' in Google

ThanhVu Nguyen

This author has not been identified. Look up 'ThanhVu Nguyen' in Google
runs on