Manuel Strobel, Martin Radetzki. A Backend Tool for the Integration of Memory Optimizations into Embedded Software. In Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak, editors, 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. pages 1-7, IEEE, 2019. [doi]
Abstract is missing.