Skip to main content
Conference Proceedings

Perspectives in certificate translation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010) 6084 LNCS 23-34
DOI: 10.1007/978-3-642-15640-3_2
0Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Certificate translation is a general mechanism to transfer evidence across abstraction layers, from source code to executable code. We review the general principles behind certificate translation and the main results achieved so far, and outline directions for future work. © 2010 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Barthe, G., & Kunz, C. (2010). Perspectives in certificate translation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6084 LNCS, pp. 23–34). https://doi.org/10.1007/978-3-642-15640-3_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free