Pages that link to "Item:Q4406527"
From MaRDI portal
The following pages link to Modern Compiler Implementation in Java (Q4406527):
Displaying 9 items.
- Security types preserving compilation (Q865705) (← links)
- Aliased register allocation for straight-line programs is NP-complete (Q954999) (← links)
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
- Memory-optimal evaluation of expression trees involving large objects (Q2275530) (← links)
- A pattern for almost compositional functions (Q3546044) (← links)
- Traces of Control-Flow Graphs (Q3637222) (← links)
- A Fast Verified Liveness Analysis in SSA Form (Q5049011) (← links)
- (Q5452362) (← links)
- Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language (Q6637597) (← links)