Výsledky vyhledávání - F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics~

An operational semantics for android activities

Autoři: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Přispěvatelé: E. Payet SPOTO, Nicola Fausto Univ, Réunion a další

Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132

Témata: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis

Popis souboru: application/pdf

Přístupová URL adresa: http://lim.univ-reunion.fr/staff/epayet/Research/Resources/pepm2014.pdf
https://hal.univ-reunion.fr/hal-01451693v1
https://iris.univr.it/handle/11562/659959
https://dl.acm.org/doi/10.1145/2543728.2543748
https://dblp.uni-trier.de/db/conf/pepm/pepm2014.html#PayetS14

An operational semantics for Android activities

Autoři: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a další

Přispěvatelé: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a další

Zdroj: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132

Témata: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]

Geografické téma: San Diego, United States

Dostupnost: https://hal.univ-reunion.fr/hal-01451693
https://hal.univ-reunion.fr/hal-01451693v1/document
https://hal.univ-reunion.fr/hal-01451693v1/file/An_operational_semantics_for_android_activities.pdf