Pages that link to "Item:Q2532605"
From MaRDI portal
The following pages link to Towards a theory of semantics and compilers for programming languages (Q2532605):
Displaying 5 items.
- Implementation of data types by algebraic methods (Q792753) (← links)
- Proving a compiler correct: A simple approach (Q1216945) (← links)
- SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
- A generalization of the homomorphism concept (Q1249593) (← links)
- On transformations of programs (Q1393935) (← links)
