Florin Craciun, Gabriel Glodean. Towards Compiling Region Types Into RTSJ-Compliant Java Code. In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 101-108, IEEE, 2018. [doi]
Abstract is missing.