Pages that link to "Item:Q2715820"
From MaRDI portal
The following pages link to An algebraic approach to compiler design (Q2715820):
Displaying 15 items.
- Model checking RAISE applicative specifications (Q470000) (← links)
- 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)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Algebraic processing of programming languages (Q1129126) (← links)
- Algebraic construction of compilers (Q1183579) (← 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)
- An algebraic hardware/software partitioning algorithm (Q1613267) (← links)
- An algebraic approach for compiling real-time programs (Q2842861) (← links)
- On display optimization for Algol-like languages (Q3031914) (← links)
- (Q3316549) (← links)
- Computer Algebra in Scientific Computing (Q5479248) (← links)