Pages that link to "Item:Q607399"
From MaRDI portal
The following pages link to An algebraic approach to the design of compilers for object-oriented languages (Q607399):
Displaying 14 items.
- Correct hardware synthesis (Q766178) (← links)
- Algebraic construction of compilers (Q1183579) (← links)
- A description of dynamic behavior for compilers based on object oriented modeling (Q1313736) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Algebraic reasoning for object-oriented programming (Q1887669) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Implementation of a modelica compiler using JastAdd attribute grammars (Q2653930) (← links)
- An algebraic approach to compiler design (Q2715820) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- On display optimization for Algol-like languages (Q3031914) (← links)
- (Q3130179) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- A simple typed intermediate language for object-oriented languages (Q5276133) (← links)