From Termination to Cost (in Object-Oriented Languages
2010
Simple Imperative Bytecode Programs: Transform into rule-based form by means of CFG .Abstract interpretation based size analysis. Find ranking functions for each loop
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI