A type and effect system for activation flow of components in Android programs
From MaRDI portal
Publication:2252643
DOI10.1016/j.ipl.2014.05.011zbMath1366.68020OpenAlexW2140994422MaRDI QIDQ2252643
Byeong-Mo Chang, Kwanghoon Choi
Publication date: 18 July 2014
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2014.05.011
Related Items
Uses Software
Cites Work