A Compositional Deadlock Detector for Android Java.
James BrotherstonPaul BrunetNikos GorogiannisMax I. KanovichPublished in: ASE (2021)
Keyphrases
- android application
- mobile devices
- programming language
- fully functional
- open source
- byte code
- java programs
- object oriented
- object oriented languages
- web applications
- detection algorithm
- detection method
- database applications
- mobile apps
- smart phones
- mobile applications
- source code
- malware detection
- lightweight
- android platform
- distributed object
- business models
- advanced features
- mobile platforms
- object oriented programming
- development environment
- database
- general purpose
- database systems
- high level
- e learning