Pages that link to "Item:Q1183579"
From MaRDI portal
The following pages link to Algebraic construction of compilers (Q1183579):
Displayed 5 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- A unified language processing methodology (Q1603702) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)