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

AI 速览

一句话：编辑前言，引出非确定性程序与系统的静态后向切片这一主题。

本文是《非确定性程序与系统的静态后向切片》一文的编辑前言。由于提供的摘要为空，无法获取该前言的具体论述与结论。仅从标题可知，其主题涉及静态后向切片技术在非确定性程序与系统中的应用。静态后向切片是程序分析中的经典技术，用于计算可能影响给定程序点的语句集合；非确定性则常见于并发、分布式或含随机选择的系统。该前言可能概述论文的贡献、方法及其在程序分析领域的定位，但确切内容需查阅原文。

问题

由于无摘要，无法确定具体研究问题；标题指向非确定性程序与系统中静态后向切片的分析与应用。

方法

无法从摘要获知；标题暗示可能采用静态分析或切片算法处理非确定性。

评估

无法从摘要获知；前言通常不涉及评估，评估细节需参见原文。

链接与引用

DOI 原文 ·

@article{paperbot315,
  title = {Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”},
  author = {},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {40},
  number = {3},
  year = {2018},
  doi = {10.1145/3243871}
}