Back to Results
First PageMeta Content
Cross-platform software / Java virtual machine / Android / Dalvik / Embedded Linux / Smartphones / Bytecode / Java bytecode / Java / Computing / Software / System software


Formalisation and Analysis of Dalvik BytecodeI Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, Ren´e Rydhof Hansen Department of Computer Science, Aalborg University, Denmark Abstract
Add to Reading List

Document Date: 2013-12-06 08:31:46

Open Document

File Size: 597,95 KB

Share Result on Facebook

City

Julia / /

Company

Interface / Google / /

/

Facility

Aalborg University / /

IndustryTerm

it obvious that tools / finished production tool / widespread and fastest growing computing platforms / simpler solution / web browser / static analysis tool / respective runtime systems / trustworthy tools / /

OperatingSystem

Android / /

Organization

Ren´e Rydhof Hansen Department of Computer Science / Aalborg University / /

Person

Henrik Søndberg Karlsen / Erik Ramsgaard Wognsen / /

Position

Prime Minister / representative / /

ProgrammingLanguage

XML / Java / Java bytecode / C / Javascript / C++ / /

Technology

XML / Java / API / smartphones / smartphone / Extensible Markup Language / Android / html / /

URL

http /

SocialTag