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.

Transfinite step-indexing for termination

Simon Spies, Neel Krishnaswami, Derek Dreyer. Transfinite step-indexing for termination. Proceedings of the ACM on Programming Languages, 5(POPL):1-29, 2021. [doi]

Authors

Simon Spies

This author has not been identified. Look up 'Simon Spies' in Google

Neel Krishnaswami

This author has not been identified. Look up 'Neel Krishnaswami' in Google

Derek Dreyer

This author has not been identified. Look up 'Derek Dreyer' in Google
runs on