SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.
Xiaohua YinZhiqiu HuangShuanglong KanGuohua ShenZhe ChenYang LiuFei WangPublished in: Softw. Pract. Exp. (2022)
Keyphrases
- main memory
- programming language
- language learning
- specification language
- memory requirements
- natural language
- intermediate level
- memory space
- safety critical
- databases
- target language
- memory usage
- language processing
- modeling language
- object oriented
- data structure
- information systems
- artificial intelligence
- learning algorithm