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.

A type-directed abstraction refinement approach to higher-order model checking

Steven James Ramsay, Robin P. Neatherway, C.-H. Luke Ong. A type-directed abstraction refinement approach to higher-order model checking. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 61-72, ACM, 2014. [doi]

Authors

Steven James Ramsay

This author has not been identified. Look up 'Steven James Ramsay' in Google

Robin P. Neatherway

This author has not been identified. Look up 'Robin P. Neatherway' in Google

C.-H. Luke Ong

This author has not been identified. Look up 'C.-H. Luke Ong' in Google
runs on