• 清洁

  • 57篇参考文献[SW01346]
  • 制作插件类型 选中的在运行时。通常…大:它不仅涉及动态类型 检查而且也是动态的类型统一,动态链接…
  • 阿尔夫

  • 66篇参考文献[SW08603]
  • 基于Malti-Lof的证明编辑器类型具有明确替代的理论…包含占位符的证明对象。模块式/证明检查给出了完备证明对象的算法。这样的方式类型 检查问题被归结为一个未解决的问题…
  • 阿加达

  • 168篇参考文献[SW0969]
  • 字符和交互式Emacs接口类型检验员可以协助开发。写作与检查校样。AGDA是基于直觉主义的类型理论,基础系统…
  • 克莱姆

  • 69篇参考文献[SW09424]
  • 克莱姆装备了一个类型静态系统检查访问权限违反移动…与各地的关系。这个类型系统用于确定……的操作。在每一个地方表演检查他们是否遵守声明的意图…
  • 卡克姆

  • 40篇参考文献[SW08999 ]
  • 主题的广度,包括词法、句法分析、类型 检查,增量和动态编译,垃圾收集,任意…
  • 多聚酰胺

  • 22篇参考文献[SW14205]
  • 自我,仔细定义类型-检查规则,我们已经获得了一种语言…极具表现力同时支持模块化类型-检查类的。上的匹配关系类型,哪个…量化,都用在陈述中。类型-检查规则与表达界限类型仔细的形式定义类型-检查规则和语义学。一个证明类型安全
  • 息肉

  • 31篇参考文献[SW09131]
  • 编写多类型函数。扩展语言类型 检查多类型函数的定义,并推断…
  • 卡宴

  • 29篇参考文献[SW0966]
  • 这种力量是有代价的:类型 检查卡宴是不可判定的。而这…
  • 吹笛者

  • 28篇参考文献[SW11478]
  • 类型作为模型,模型检查消息传递程序。抽象和构成是根本问题。实施组合模型检查类型. 使用CCS过程之间的开放模拟…类型组合模型的系统及其抽象关系检查. 我们已经实施了这些想法…吹笛人的功绩类型程序员提供的签名来划分模型检查问题…
  • 贾斯塔德

  • 23篇参考文献[ SW01700 ]
  • 不同的方面,例如名称分析,类型 检查代码生成等,编织在一起…
  • 普罗格斯

  • 69篇参考文献[SW02905]
  • 改写系统。集成的类型-检查器能够检查静态语义学…
  • 克劳德

  • 24篇参考文献[SW10057 ]
  • 结合方案类型推理与运行时间检查制作现有的C程序类型安全必须选中的在运行时。我们证明了类型健全的结果,然后…类型安全。剩余的指针用有效的运行时间来表示。检查确保…
  • CIL

  • 34篇参考文献[SW26691]
  • 基于结构的整体程序合并类型平等,允许一个完整的项目被查看…运行时程序检查确保类型安全CIL为我们服务得很好…
  • CZT

  • 12篇参考文献[ SW057 82]
  • 建立在编辑的框架上,类型 检查和动画正式规范写…
  • 阿尔多

  • 24篇参考文献[SW01220]
  • 程序依赖性的普遍支持类型允许静态检查动态对象。这是什么…
  • 霍尔Z

  • 11篇参考文献[SW0996]
  • 胶乳书写规范类型-选中的基于Java的Zeta系统…
  • 24篇参考文献[SW08334 ]
  • 类型. 第三,锌提供复杂的类型实例化检查允许早期发现错误…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 依赖的统一理论类型(UTT)。乐高是一个强大的工具,交互式证明发展…论证合成与宇宙多态性证明检查更实用的带来的水平…其底层的高阶功率类型理论和支持新的归纳…
  • TCOZ

  • 8篇参考文献[SW0382]
  • 基于静态类型 检查并对TCOZ定时通信对象Z(TCOZ)的动态可视化进行了组合。论文首先论证了A类型检测静态语义错误的检验器…