Pages that link to "Item:Q3058449"
From MaRDI portal
The following pages link to Termination Graphs for Java Bytecode (Q3058449):
Displaying 4 items.
- From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5712487) (← links)