首页> 外文OA文献 >Deriving Specialized Program Analyses for Certifying Component-Client Conformance

【2h】

Deriving Specialized Program Analyses for Certifying Component-Client Conformance

机译：派生用于验证组件-客户端一致性的专业程序分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
G. Ramalingam; Alex Warshavsky; John Field; Deepak Goyal; Mooly Sagiv;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Courses On Specialized Field in Undergraduate Programs of Translation & Interpretation Departments in Turkey: The Importance of Courses on Specialized Field in the Specialization Process of Translator Candidates [J] . Muharrem Tosun, Ayla Akin, Fatih Simsek Procedia - Social and Behavioral Sciences . 2015,第2期

机译：土耳其翻译与口译系本科课程中的专业课程：翻译候选人专业化过程中专业课程的重要性
2. Courses On Specialized Field in Undergraduate Programs of Translation & Interpretation Departments in Turkey: The Importance of Courses on Specialized Field in the Specialization Process of Translator Candidates [J] . Muharrem Tosun, Ayla Akin, Fatih Simsek Procedia - Social and Behavioral Sciences . 2015,第1期

机译：土耳其翻译与口译系本科课程中的专业课程：翻译候选人专业化过程中专业课程的重要性
3. Presentation of the advanced training program: 'specialized engineer / specialized planner / specialized construction supervisor in block pavement construction' [J] . Grit Zimmermann Betonwerk + Fertigteil-Technik . 2021,第2期

机译：介绍先进的培训计划：'专业工程师/专业规划师/专业建筑监事块砌块施工'
4. Deriving specialized program analyses for certifying component-client conformance [C] . G. Ramalingam, Alex Warshavsky, John Field, ACM SIGPLAN 2002 conference on programming language design and implementation(PLDI'02) . 2002

机译：派生专门的程序分析以认证组件-客户端一致性
5. Alternatively certified and traditionally certified secondary school mathematics teachers' student success on the Missouri Assessment Program [D] . Wall, Jennifer Joanne 2009

机译：可选择认证和传统认证的中学数学师生在密苏里州评估计划上的成功
6. Transcriptomic Data Analyses Reveal a Reprogramed Lipid Metabolism in HCV-Derived Hepatocellular Cancer [O] . Guoqing Liu, Guojun Liu, Xiangjun Cui, 2020

机译：转录组数据分析显示HCV衍生的肝细胞癌中的重新编程脂质代谢
7. Improving the efficiency of constraint logic programming-languages by deriving specialized versions [O] . Bruynooghe Maurice, Dumortier V, Janssens Gerda 1991

机译：通过派生专用版本来提高约束逻辑编程语言的效率
8. Production of Jet Fuels from Coal Derived Liquids. Volume 4. GPGP Jet Fuels Production Program-Feed Analyses Compilation and Review [R] . Rossi, R. J. 1988

机译：从煤衍生液体生产喷气燃料。第4卷.GpGp喷气燃料生产计划 - 饲料分析编制和审查

Deriving Specialized Program Analyses for Certifying Component-Client Conformance

著录项

引文网络

相似文献

相关主题

期刊订阅