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.

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers

Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen. FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. In Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen, editors, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017. pages 793-803, ACM, 2017. [doi]

Authors

Shang-Wei Lin

This author has not been identified. Look up 'Shang-Wei Lin' in Google

Jun Sun

This author has not been identified. It may be one of the following persons: Look up 'Jun Sun' in Google

Hao Xiao

This author has not been identified. Look up 'Hao Xiao' in Google

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

David Sanán

This author has not been identified. Look up 'David Sanán' in Google

Henri Hansen

This author has not been identified. Look up 'Henri Hansen' in Google
runs on