go top

应用类型系统

网络释义

  applied type system

...大的互补性,近年来出现了一些结 合这两种方法的研究.一种结合类型和逻辑方法的 研究是Xi的应用类型系统applied type system, ATS)项目[5],他们扩展类型系统,将程序状态引入 类型系统,依靠ATS与Hoare逻辑的相似性,以 AT...

基于4个网页-相关网页

短语

的应用类型系统 applied type system

有道翻译

应用类型系统

Application type system

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 这个系列文章中感兴趣类型基本扩展系统应用程序委托(反射中)。

    In this series of articles, the types of interest are the primordial, extension, system, application, and delegation (used in reflection).

    youdao

  • 实现 XTP 类型应用程序基础技术高性能系统中的重要组件

    The underlying technologies that facilitate XTP-style applications are crucial components for high-performance systems.

    youdao

  • 这套系统华盛顿特区举办第九计算机协会(acm)国际会议展出,类型移动系统应用服务(MobiSys)。

    The SleepWell system was presented at the ninth Association for Computing Machinery's International Conference on Mobile Systems, Applications and Services (MobiSys), being held in Washington, d.c..

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定