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.

Towards a scalable software model checker for higher-order programs

Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi 0001. Towards a scalable software model checker for higher-order programs. In Elvira Albert, Shin-Cheng Mu, editors, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. pages 53-62, ACM, 2013. [doi]

Authors

Ryosuke Sato

This author has not been identified. Look up 'Ryosuke Sato' in Google

Hiroshi Unno

This author has not been identified. Look up 'Hiroshi Unno' in Google

Naoki Kobayashi 0001

This author has not been identified. Look up 'Naoki Kobayashi 0001' in Google
runs on