登陆
注册
工具列表
Tool list
CPF
2020-06-01
70
-
Pluggable Policies for C
Many programs make implicit assumptions about data. Common assumptions include whether a variable ha...
-
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Many C programs assume the use of implicit domain-specific information. A common example is units of...
