LoRe：一种可验证安全的本地优先软件的编程模型
摘要：LoRe：一个用于自动验证本地优先应用程序安全性属性的编程模型和编译器
作者：Julian Haas (1), Ragnar Mogk (1), Elena Yanakieva (2), Annette Bieniusa (2), Mira Mezini (1) ((1) Technische Universit"at Darmstadt, (2) University of Kaiserslautern-Landau)
论文ID：2304.07133
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-17