Pages that link to "Item:Q1129121"
From MaRDI portal
The following pages link to Algebraic translations, correctness and algebraic compiler construction (Q1129121):
Displaying 10 items.
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- Algebraic construction of compilers (Q1183579) (← links)
- A unified language processing methodology (Q1603702) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)