保存此搜索
研究论文 2018年9月 带有运行时检查的程序的静态性能保证 检测程序以执行属性(如规则形状)的运行时检查是一种常见而有用的技术,可以帮助程序员检测不正确的程序行为。 在Prolog等动态语言中尤其如此。 然而,。。。 研究论文 2016年9月 通过静态分析减少断言运行时检查的开销 为了帮助检测不正确的程序行为,已经提出了许多方法,包括语言级结构的组合(如过程级断言/契约、程序点断言、渐变。。。 诉讼程序 2016年3月 教程 2014年9月 基于断言的高阶(C)LP程序调试 高阶构造在语法和语义上扩展了一阶(约束)逻辑编程((C)LP)的表达能力。 同时,断言在(C)LP系统中已经使用了一段时间,可以帮助程序员检测错误。。。 -
研究论文 2012年6月 使用面向服务的系统的数据和结构分析它们 S-Cube’12:第一届欧洲软件服务和系统研究国际研讨会论文集:结果与挑战 2012年6月, 第47-48页 我们描述了通过使用数据属性、工作流结构和服务组合来增强面向服务系统中的一致性验证和QoS预测的方法。 研究论文 2012年6月 探讨QoS假设的不准确和不精确对服务编排的基于主动约束的QoS预测的影响 PESOS’12:第四届工程服务导向系统原理国际研讨会会议记录 2012年6月, 第29–35页 基于约束的服务质量(QoS)预测是一种预测服务编排执行实例中违反服务级别协议(SLA)的方法。 它使用关于组件服务QoS值范围的假设。。。 第条 2012年5月 表CLP的通用实现框架 本文描述了一个将表格评估和约束逻辑编程(TCLP)相结合的框架。 虽然之前已经从理论角度对这种组合进行了研究,并且存在一些实现,但它们要么缺乏。。。 第条 2012年1月 执行陷波计算的分段跳变方法 我们考虑在存在非决定论的情况下支持目标水平、独立和平行(IAP)的问题。 当两个或多个在运行时不会产生干扰的目标被调度为同时执行时,就会利用IAP。 回溯。。。 研究论文 2011年7月 约束处理规则的CLP投影 本文介绍并研究了约束处理规则的CLP投影的概念。 CLP投影由CHR程序到约束逻辑程序(CLP)的朴素转换组成。 我们表明,CLP投影提供了一个安全的。。。 诉讼程序 2010年1月 诉讼程序 2010年1月 POPL’10:第37届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 欢迎参加2010年1月20日星期三至1月22日星期五在西班牙马德里举行的第三十七届程序设计语言原理研讨会。 本次会议共有39篇论文,从207份提交材料中选出。 比如。。。 研究论文 2009年6月 逻辑相关堆区域的标识 本文介绍了一组新的启发式算法,用于识别堆中逻辑相关的部分,例如递归数据结构、属于同一多组件结构的对象以及存储在同一堆中的相关对象组。。。 研究论文 2008年11月 数组、集合和递归结构的共享分析 PASTE’08:第八届ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会会议记录 2008年11月, 第43–49页 https://doi.org/10.1145/1512475.1512485 程序堆的精确建模是理解程序行为的基础,因此对于许多优化应用程序来说非常重要。 堆的基本属性之一,可以在一个范围内使用。。。 研究论文 2008年7月 面向抽象机器语言的执行时间估计 抽象机在编译过程中提供了平台相关和平台相关关注点之间的某种分离。 架构之间的许多差异都封装在特定的抽象机器实现和字节码中。。。 研究论文 2008年7月 使用抽象机器生成器比较标签方案的变化 在本文中,我们研究了在基于WAM的Prolog抽象机环境中,类型信息编码的变化如何 标记的单词 以及在相关的基本操作中影响性能和内存使用。 我们使用高级。。。 诉讼程序 2008年4月 研究论文 2008年1月 模块化prolog程序验证的实用类型分析 2008年政治公众人物会议:2008年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录 2008年1月, 第61–70页 https://doi.org/10.1145/1328408.1328418 正则类型是为逻辑程序计算非常精确的描述性类型的强大工具。 然而,在现实生活中,模块化Prolog程序的上下文中,正则类型获得的准确结果往往以效率为代价。 在…中。。。 第条 2007年6月 馆藏库中的堆分析 PASTE’07:第七届ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会会议记录 2007年6月, 第31-36页 https://doi.org/10.1145/1251535.1251541 内存分析技术已经变得足够成熟,可以对简单内存结构(有限结构、单/双链接列表和树)的操作进行高精度建模。 然而,现代编程语言提供了。。。