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.

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang. Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1204-1210, ACM, 2013. [doi]

Authors

Liqian Chen

This author has not been identified. Look up 'Liqian Chen' in Google

Renjian Li

This author has not been identified. Look up 'Renjian Li' in Google

Xueguang Wu

This author has not been identified. Look up 'Xueguang Wu' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google
runs on