Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Geoffrey Mainland
Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols
Proceedings of the ACM on Programming Languages
Related publications
Translation Validation for an Optimizing Compiler
ACM SIGPLAN Notices
An Operational Semantics for Android Activities
An Operational Semantics for Timed RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Operational Semantics for Network Datalog
Better Living Through Behaviorism.
Journal of Applied Behavior Analysis
Applied Psychology
Philosophy
Sociology
Political Science
Compiler Generation From Denotational Semantics
DAIMI Report Series
An Overview on Operational Semantics in Membrane Computing
International Journal of Foundations of Computer Science
Computer Science
Modular Structural Operational Semantics
BRICS Report Series
Optimizing Tele-Icu Operational Efficiency Through Workflow Process Modeling and Restructuring
Critical Care Explorations
