Skip to content. Skip to navigation

QPQ Deductive Repository

Sections

Home
Members
News
Events
[···]
Help
VSR
Wiki
Downloads
Files

Personal tools

Log in
Join

You are here: Home → VSR → Private → Theory → Compiler Verification

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?; New user?

History for Compiler Verification

Dave added Leroy's text with Markus' revisions

changed:
-   * Proof-carrying code (PCC).  Here, the compiler-generated
  * Proof-carrying code (PCC).  Here, the compiler-generated

changed:
-   * Type-preserving compilation and typed intermediate or assembly
  * Type-preserving compilation and typed intermediate or assembly

What's up ?

Be notified when a document is published in this folder or below.

Unsubscribe

This site conforms to the following standards:

Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser