Progress in The Semantic Analysis of Scientific Code

机译：科学规范语义分析的进展

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper concerns a procedure that analyzes aspects of the meaning or semantics of scientific and engineering code. This procedure involves taking a user's existing code, adding semantic declarations for some primitive variables, and parsing this annotated code using multiple, independent expert parsers. These semantic parsers encode domain knowledge and recognize formulae in different disciplines including physics, numerical methods, mathematics, and geometry. The parsers will automatically recognize and document some static, semantic concepts and help locate some program semantic errors. These techniques may apply to a wider range of scientific codes. If so, the techniques could reduce the time, risk, and effort required to develop and modify scientific codes.

著录项

作者
Stewart, M.;
展开▼
作者单位

展开▼
年度 2000
页码 1-12
总页数 12
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Software engineering; Software development tools; Computer programs; Computational fluid dynamics; Semantics; Parsing algorithms; Computer techniques;

机译：软件工程;软件开发工具;计算机程序;计算流体动力学;语义学;解析算法;计算机技术;

相似文献

外文文献
中文文献
专利

1. Semantic the semantic analysis method and the progress of scientific realism [J] . Guo Guichun Social Sciences in China . 2009,第3期

机译：语义语义分析方法与科学现实主义的发展
2. N-rays and the semantic view of scientific progress [J] . Darrell P. Rowbottom Studies in History and Philosophy of Science. A . 2008,第2期

机译：N射线与科学进步的语义观
3. A scientific realism perspective on scientific progress in marketing: An analysis of theory testing in marketing's major journals [J] . Kenworthy Thomas P., Sparks John R. European management journal . 2016,第5期

机译：市场营销科学进步的科学现实主义视角：市场营销主要期刊的理论测试分析
4. Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis [C] . Mark Stewart International Conference on Computational Science(ICCS 2005) pt.1; 20050522-25; Atlanta, GA(US) . 2005

机译：通过改进科学代码开发来促进科学计算：符号执行和语义分析
5. Analysis and optimization with programmer-controlled memory consistency modeling of OpenMP scientific codes. [D] . Hisley, Dixie M. 2004

机译：使用OpenMP科学代码的程序员控制的存储器一致性建模进行分析和优化。
6. Semantic quality through semantic definition: refining the Read Codes through internal consistency. [O] . E. B. Schulz, J. W. Barrett, C. Price 1997

机译：通过语义定义的语义质量：通过内部一致性完善阅读代码。
7. Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis [O] . Mark Stewart 2005

机译：通过改进科学规范的发展来推进科学计算：象征性执行和语义分析
8. Progress in The Semantic Analysis of Scientific Code [R] . Stewart, Mark 2000

机译：科学规范语义分析的进展

Progress in The Semantic Analysis of Scientific Code

摘要

著录项

相似文献

相关主题

期刊订阅