Pages that link to "Item:Q3613391"
From MaRDI portal
The following pages link to Certificate Translation for Optimizing Compilers (Q3613391):
Displaying 12 items.
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Certifying compilation and run-time code generation (Q1974452) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)
- An Introduction to Certificate Translation (Q3184785) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Inter-program Properties (Q3392934) (← links)
- Symbolic transfer function-based approaches to certified compilation (Q3452245) (← links)
- Preservation of Proof Obligations from Java to the Java Virtual Machine (Q3541689) (← links)
- Certificate Translation in Abstract Interpretation (Q5458410) (← links)