NobleBlocks
Public

Android Stack Machine

Published in Lecture notes in computer science • Jan 1, 2018
Authors:
Taolue Chen
,
Jinlong He
,
Fu Song

Abstract

In this paper, we propose Android Stack Machine (ASM), a formal model to capture key mechanisms of Android multi-tasking such as activities, back stacks, launch modes, as well as task affinities. The model is based on pushdown systems with multiple stacks, and focuses on the evolution of the back st...

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!