Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols

Proceedings of the ACM on Programming Languages
doi 10.1145/3110263
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Translation Validation for an Optimizing Compiler

ACM SIGPLAN Notices
2000English

An Operational Semantics for Android Activities

2014English

An Operational Semantics for Timed RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

An Operational Semantics for Network Datalog

English

Better Living Through Behaviorism.

Journal of Applied Behavior Analysis
Applied PsychologyPhilosophySociologyPolitical Science
1978English

Compiler Generation From Denotational Semantics

DAIMI Report Series
1980English

An Overview on Operational Semantics in Membrane Computing

International Journal of Foundations of Computer Science
Computer Science
2011English

Modular Structural Operational Semantics

BRICS Report Series
2015English

Optimizing Tele-Icu Operational Efficiency Through Workflow Process Modeling and Restructuring

Critical Care Explorations
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy