Pages that link to "Item:Q1156472"
From MaRDI portal
The following pages link to More on advice on structuring compilers and proving them correct (Q1156472):
Displaying 10 items.
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Continuation semantics for flowgraph equations (Q1080651) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- Functional programming with combinators (Q1098628) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- Initial semantics of logic specifications with negation (Q1816284) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
