首页> 外文OA文献 >On the Relationship Between Formal Semantics and Static Analysis

【2h】

On the Relationship Between Formal Semantics and Static Analysis

机译：论形式语义与静态分析的关系

页面导航

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

著录项

作者
P. N. Benton;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Computing semantic relatedness using latent semantic analysis and fuzzy formal concept analysis [J] . Shivani Jain, K.R. Seeja, Rajni Jindal International journal of reasoning-based intelligent systems . 2021,第2期

机译：使用潜在语义分析和模糊正式概念分析计算语义相关性
2. A New Methodology for Computing Semantic Relatedness: Modified Latent Semantic Analysis by Fuzzy Formal Concept Analysis [J] . Shivani Jain, K.R. Seeja, Rajni Jindal Procedia Computer Science . 2020,第5期

机译：用于计算语义相关性的新方法：模糊正式概念分析修改潜在语义分析
3. Formal inferences and their relationships to knowledge acquisition: mental models and semantic links [J] . Miguel López Astorga, Leyla Danae Torres-Bravo Principia: An International Journal of Epistemology . 2020,第2期

机译：正式推论及其与知识获取的关系：心理模型和语义链接
4. Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps [C] . Jinlong He, Taolue Chen, Ping Wang, Asian Symposium on Programming Languages and Systems . 2019

机译：Android多任务机制：适用的正式语义和静态分析
5. Static and dynamic formal analysis of concurrent systems and languages: A semantics-based approach. [D] . Farzan, Azadeh. 2007

机译：并发系统和语言的静态和动态形式分析：一种基于语义的方法。
6. Spark-MCA: Large-scale Exhaustive Formal Concept Analysis for Evaluating the Semantic Completeness of SNOMED CT [O] . Zhu Wei, Cui Licong, Zhang Guo-Qiang 2017

机译：Spark-MCA：用于评估SNOMED CT语义完整性的大规模详尽的形式概念分析
7. Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach [O] . Farzan Azadeh 2007

机译：并发系统和语言的静态和动态形式分析：基于语义的方法
8. Formal Definition of the Static Semantics of ELLA's Core [R] . Morison, J. D., Hill, M. G. 1991

机译：ELLa核心静态语义的形式化定义

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号