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.

Data-driven equivalence checking

Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken. Data-driven equivalence checking. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 391-406, ACM, 2013. [doi]

Authors

Rahul Sharma 0001

This author has not been identified. Look up 'Rahul Sharma 0001' in Google

Eric Schkufza

This author has not been identified. Look up 'Eric Schkufza' in Google

Berkeley R. Churchill

This author has not been identified. Look up 'Berkeley R. Churchill' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google
runs on