我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：公布2021年LICS 2001测试时间奖，表彰两篇发表于LICS 2001的论文。

本文是2021年IEEE Logic in Computer Science (LICS) 2001测试时间奖（Test-of-Time Award）的引文/颁奖说明。该奖项授予两篇发表于LICS 2001的论文：Aaron Stump、Clark W. Barrett、David L. Dill和Jeremy R. Levitt的《A Decision Procedure for an Extensional Theory of Arrays》，以及Hongwei Xi的《Dependent Types for Program Termination Verification》。引文旨在表彰这两项工作对逻辑与计算机科学领域的长期影响。除公布获奖信息外，本文不提出新的研究问题、方法或评估结果。

问题

无具体研究问题；本文是颁奖引文，仅公布LICS 2001测试时间奖的两篇获奖论文。

方法

无研究方法；仅以引文形式列出获奖论文及其作者。

评估

无技术评估；不包含实验、定理证明或基准测试。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot6186,
  title = {Citations for the Test-of-Time Award from 2001},
  author = {},
  booktitle = {LICS},
  year = {2021},
  doi = {10.1109/lics52264.2021.9470625}
}