待验证50% 置信事实精确时间

程序切片由Mark Weiser于1981年提出，目标是给定程序中某一点的某个变量找出所有可能影响该变量值的语句集合

1

来源数

50%

置信度

长期有效

时效性

2026/8/31

首次发现

来源

LLM记忆系统如何演变为程序分析工具：一次意外的技术发现

涉及实体

Program Slicingconcept Mark Weiserperson

相关事实

已验证YOLO将目标检测视为单一回归问题，在一次前向传播中同时预测边界框和类别概率57% 相似待验证LangSmith能逐层记录每次模型调用的Prompt输入、模型输出、Token消耗与延迟，并将复杂调用链可视化为树状结构53% 相似已验证思维链推理（CoT）由Wei等人于2022年提出，通过在提示中插入中间推理步骤引导模型逐步拆解复杂问题52% 相似待验证MIT的方法将检测目标从输出层转移到模型内部特征层面，通过分析权重、激活模式或表征空间的统计特征推断模型是否形成记忆51% 相似待验证DSPy的核心思想是将LLM程序的结构与参数分离，由优化器自动搜索和编译生成最优的提示配置51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/829739

API

curl https://kongchang.com/api/v1/knowledge/claims/829739

MCP

get_claim(id=829739)