1樓：狷墨居主人
不請自來，宣傳一波我們在求解帶拓展正規約束的字串理論方面的工作：
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
2樓：sch001
Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
3樓：
IC3/PDR演算法(或者」演算法精神「)相關Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions
Property-Directed Reachability as Abstract Interpretation in the Monotone Theory
Software Model-Checking as Cyclic-Proof Search
LOFTER有哪些值得關注的人？
木木子 廢話不多說上圖 排名是我關注的後先順序 神仙畫手 1.酒絳子 品品畫風 2.DionHiogGia 品品畫風 3.Eleonora Arosio 品品畫風 4.別有野 品品畫風 5.蘇寒 品品畫風 6.PicShu 7.阿莘 品品畫風 8.小溫侯 品品畫風 9.NTC醬醬 品品畫風 10.a...
有哪些設計部落格值得關注？
盛碧星 Cellier 推薦國外的，持續更新 UI UX Design InterviewsSpeckyboy Web Design MagazineUX Magazine Defining and Informing the Complex Field of User Experience UX ...
NFL 有哪些現役球星值得關注？
硝化甘油 大熱門的都說了，說幾個偏冷的吧 四分衛 梅菲爾德 拉克 外接手 朱朱 史密斯舒斯特 阿馬里 庫珀 克里斯 霍根 亞當 喜倫衝傳手 布拉德利 查布 麥可 本內特 tj瓦特跑衛 阿曼多啦 德里克 亨利 麥卡弗利 全能戰士 泰森 希爾 特殊提名 伊利亞 霍利菲爾德 選秀 拳王的兒子 sommuc...