Search Results - "F32 [Logics AND Meanings of Programs]: Semantics of Programming Languages-Operational semantics"

An operational semantics for android activities

Authors: E. Payet SPOTO, Nicola Fausto Univ, Réunion et al.

Contributors: E. Payet SPOTO, Nicola Fausto Univ, Réunion et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) et al.

Contributors: Payet, Etienne Spoto, Fausto Laboratoire d'Informatique et de Mathématiques (LIM) et al.

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

Subject Terms: 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]

Subject Geographic: San Diego, United States

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