External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 2

PDF

Bibliographies

    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.

    Semantics-based program verifiers for all languages

    Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu. Semantics-based program verifiers for all languages. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 74-91, ACM, 2016. [doi]

    Authors

    Andrei Stefanescu

    This author has not been identified. Look up 'Andrei Stefanescu' in Google

    Daejun Park

    This author has not been identified. Look up 'Daejun Park' in Google

    Shijiao Yuwen

    This author has not been identified. Look up 'Shijiao Yuwen' in Google

    Yilong Li

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

    Grigore Rosu

    This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google
    runs on