搜索结果: 1-1 共查到“计算机系统结构 type qualifiers”相关记录1条 . 查询时间(0.12 秒)
Flow-Sensitive Type Qualifiers
Types type qualifiers alias analysis effect inference flowsensitivity
2016/5/24
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. ...