Pages that link to "Item:Q801659"
From MaRDI portal
The following pages link to One approach to the specification and verification of translators (Q801659):
Displaying 6 items.
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- (Q2763984) (← links)
- (Q3777486) (← links)
- Dynamic template translators—a new device for specifying programming languages (Q3804225) (← links)
- Compiling a 50-year journey (Q4625157) (← links)
- Reasoning about Translation Lookaside Buffers (Q4645755) (← links)