• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>ACM Transactions on Internet Technology >Equipping IDEs with XML-Path Reasoning Capabilities
【24h】

Equipping IDEs with XML-Path Reasoning Capabilities

机译：为IDE配备XML路径推理功能

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

One of the challenges in Web development is to achieve a good level of quality in terms of code size and runtime performance for popular domain-specific languages such as XQuery, XSLT, and XML Schema. We present the first IDE augmented with static detection of inconsistent XPath expressions that assists the programmer with simplifying development and debugging of any application involving XPath expressions. The tool is based on newly developed formal verification techniques based on expressive modal logics, which are now mature enough to be introduced in the process of software development. We further develop this idea in the context of XQuery for which we introduce an analysis for identifying and eliminating dead code automatically. This proof of concept aims at illustrating the benefits of equipping modern IDEs with reasoning capabilities.
机译：Web开发中的挑战之一是要在诸如XQuery，XSLT和XML Schema之类的流行领域特定语言的代码大小和运行时性能方面达到高质量。我们展示了第一个增强的，对不一致的XPath表达式进行静态检测的IDE，可帮助程序员简化涉及XPath表达式的任何应用程序的开发和调试。该工具基于新开发的基于表达模态逻辑的形式验证技术，这些技术现在已经足够成熟，可以在软件开发过程中引入。我们在XQuery的上下文中进一步发展了这个想法，为此我们引入了一种用于自动识别和消除无效代码的分析。此概念证明旨在说明为现代IDE配备推理功能的好处。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号