Pages that link to "Item:Q5756497"

The following pages link to Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (Q5756497):

Displaying 4 items.

• Adapting functional programs to higher order logic (Q1029815) (← links)
• Verified compilation of floating-point computations (Q2352505) (← links)
• A formally verified compiler back-end (Q2655327) (← links)
• Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)