Abstract Interpretation of the Physical Inputs of Embedded Programs
No abstract available.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Integrating Physical Systems in the Static Analysis of Embedded Control Software APLAS 2005
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- The embedded machine: Predictable, portable real-time code TOPLAS 2007
- Types, equations, dimensions and the Pi theorem JFP 2026
- Embedding an interpreted language using higher-order functions and types JFP 2011
- An abstract interpretation-based framework for software watermarking POPL 2004
- Preventing injection attacks with syntax embeddings GPCE 2007