• 2026年07月13日 11:57:08
  • 周一
精确
  • 模糊
  • 词首
  • 词尾
  • 词义
  • 例句
1、

Since the language-based proof system of the safety policy is founded on the annotated target code, algorithms implemented in the certifying compiler thus may be useful in a system for safe mobile code.

由于基于语言安全策略系统的证明是建立在携带注解的代码基础之上的，因此该认证编译器中实现的算法在移动代码安全检查中非常有用。

互联网摘选

2、

New Developments in the Study of Function and Cognition& Review on Construing Experience through Meaning: A Language-based Approach to Cognition

功能与认知研究的新发展&《通过意义识解经验：基于语言的认知研究》评介

互联网摘选

  • 今日热词
  • 热门搜索
推荐阅读 更多>
language-based相关阅读 为什么要称程序的错误为Bug? language-based相关阅读 结过4次婚，自爆有残疾！“蜘蛛侠”安德鲁·加菲尔德新女友究竟是何方神圣？ language-based相关阅读 维密天使再当妈！莱斯·里贝罗与前NBA球星乔金·诺阿喜迎爱情结晶！ language-based相关阅读 韩元的英文怎么说?今日韩元兑换人民币汇率是多少? language-based相关阅读 《大地惊雷》Hailee Steinfeld 和足球小将Josh Allen订婚了！ language-based相关阅读 英语成语故事：指鹿为马（Calling a Deer a Horse）
分类词汇 更多>

英语网英语词典(dict.25820.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务！可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

英语词典 | 英语阅读 | 高考英语 | 商务英语 | 汉语字典 | 汉语词典 | 成语词典 | 拼音查字典 | 部首查字典 | 笔画查字典 | 常用字大全 | 次常用字表 | 多音字大全 | 现通表汉字 | 标准字体表 | 拼音转换器
最新热词: signal | adult | hero | painful | MBTI | bms | collision | turkeys | routine | compass | obsidian | foresee | 短剧 | reform | kele

英语网学习工具软件为您提供全方位语言学习支持，涵盖英语词典、汉语字典、汉语词典、成语词典、拼音转换、古诗词查询、英文缩写等多种实用工具，满足您不同场景下的学习需求。客服QQ:13825271(微信同号)

英语网为您提供全面的语言学习支持，涵盖英语词典、汉语字典、汉语词典、成语词典、拼音转换、古诗词查询、英文缩写等多种实用工具。

最新热词: signal | adult | hero | painful

首页| 英语词典| 汉语词典| 成语词典| 新华字典| 英文缩写| 组词| 造句| 近反义词| 诗词大全| 拼音转换| 反馈

友链合作联系QQ:13825271

t.25820.com ©2026

用户反馈
请选择反馈类型（可多选）：
您的联系方式：
反馈内容：
提交成功 小编会尽快处理
回到顶部
点击反馈