A type and effect system for activation flow of components in Android programs

Kwanghoon Choi, Byeong-Mo Chang. A type and effect system for activation flow of components in Android programs. Inf. Process. Lett., 114(11):620-627, 2014. [doi]

Abstract

Abstract is missing.