Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

被引：0

作者：

Berthier, Nicolas ^{[1
,2
]}

Khakpour, Narges ^{[3
,4
]}

机构：

[1] OCamlPro, France

[2] University of Liverpool, United Kingdom

[3] Newcastle University, United Kingdom

[4] Linnæus University, Sweden

来源：

arXiv | 2022年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Benchmarking - Computer software - Object oriented programming

引用