External Links

Cite Key

Statistics

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

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.

    Encoding Featherweight Java with assignment and immutability using the Coq proof assistant

    Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas R. Cameron. Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. In Wei-Ngan Chin, Aquinas Hobor, editors, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. pages 11-19, ACM, 2012. [doi]

    Authors

    Julian Mackay

    This author has not been identified. Look up 'Julian Mackay' in Google

    Hannes Mehnert

    This author has not been identified. Look up 'Hannes Mehnert' in Google

    Alex Potanin

    This author has not been identified. Look up 'Alex Potanin' in Google

    Lindsay Groves

    This author has not been identified. Look up 'Lindsay Groves' in Google

    Nicholas R. Cameron

    This author has not been identified. Look up 'Nicholas R. Cameron' in Google
    runs on