Pages that link to "Item:Q5410697"
From MaRDI portal
The following pages link to Verifying an Open Compiler Using Multi-language Semantics (Q5410697):
Displaying 5 items.
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- ANF preserves dependent types up to extensional equality (Q5051989) (← links)
- (Q5119393) (← links)