.png){kind=icon}
返回
Inferring non-failure conditions for declarative programs
.png){kind=icon}
OA
AI
DOI：10.1016/j.scico.2025.103416.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
计算过程中的意外故障令人痛苦，但在软件开发中却很常见。由外部原因（例如，缺失文件、无权限等）导致的故障可由异常处理器捕获。程序故障，例如使用非预期参数调用部分定义的操作，往往因假设软件正确而未被捕获。本文提出了一种验证此类假设的方法。为此，推断出操作的非故障条件，然后在所有部分定义操作的使用中检查这些条件。在条件满足的情况下，确保此类故障的缺失；在条件不满足的情况下，程序员可调整程序以处理可能失败的情况，并重新检查程序。我们的方法完全自动化，可应用于大型声明式程序。文中展示了针对函数逻辑Curry程序实现的结果。
Keyword:
Functional logic programming
Failure analysis
Program analysis
Program verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
S
IF:
1.4
论文数:
51
被引数:
1.6K
机构
引用论文
.png){kind=icon}
分享收藏分享收藏分享收藏分享收藏
查看更多内容