Pages that link to "Item:Q1396163"
From MaRDI portal
The following pages link to Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization. (Q1396163):
Displaying 6 items.
- Application of symbolic approach to the Bernstein expansion for program analysis and optimization (Q557508) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Efficient symbolic analysis of programs (Q1082800) (← links)
- Symbolic computation via program transformation (Q1623144) (← links)
- Real-time properties of indirect recursive procedures (Q1854477) (← links)