Pages that link to "Item:Q1323320"
From MaRDI portal
The following pages link to Normal form approach to compiler design (Q1323320):
Displayed 14 items.
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Correct hardware synthesis (Q766178) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- A framework for quantum-classical cryptographic translation (Q2239408) (← links)
- Compiling quantum programs (Q2484067) (← links)
- (Q2842861) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Jifeng He at Oxford and beyond: an appreciation (Q6118751) (← links)