Výsledky vyhľadávania - F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics

An operational semantics for android activities

Autori: E. Payet SPOTO, Nicola Fausto Univ, Réunion a ďalší

Prispievatelia: E. Payet SPOTO, Nicola Fausto Univ, Réunion a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a ďalší

Prispievatelia: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) a ďalší

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

Predmety: 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

Dostupnosť: 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