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.

An Internalist Approach to Correct-by-Construction Compilers

Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera. An Internalist Approach to Correct-by-Construction Compilers. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]

Authors

Alberto Pardo

This author has not been identified. Look up 'Alberto Pardo' in Google

Emmanuel Gunther

This author has not been identified. Look up 'Emmanuel Gunther' in Google

Miguel Pagano

This author has not been identified. Look up 'Miguel Pagano' in Google

Marcos Viera

This author has not been identified. Look up 'Marcos Viera' in Google
runs on