Amanote Research
Register
Sign In
An Operational Semantics for Android Activities
doi 10.1145/2543728.2543748
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2014
Authors
Etienne Payet
Fausto Spoto
Publisher
ACM Press
Related search
An Operational Semantics for Timed RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Operational Semantics for Network Datalog
An Overview on Operational Semantics in Membrane Computing
International Journal of Foundations of Computer Science
Computer Science
Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols
Proceedings of the ACM on Programming Languages
Modular Structural Operational Semantics
BRICS Report Series
Inductive Assertions and Operational Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Goal Solving as Operational Semantics
Operational Semantics Using the Partiality Monad
ACM SIGPLAN Notices
Computer Science
Operational Semantics: Concepts and Their Expression
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
