首页
标签
formal-semantics
Perl 使用什么类型的语义？
Coq：证明 while 等同于 repeat
为什么我不必声明 x 是 reusable/duplicable 具有仿射语义和函数类型？
如何在Haskell中创建点阵型数据结构？
为什么我不能从 Dafny 的鬼域中调用（非静态）引理？
如何定义表达式翻译器？
静态分析真的是形式化验证吗？
如何描述语言的语义？