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

抽象解释（Abstract Interpretation）由Patrick Cousot和Radhia Cousot于1977年提出，是一种在抽象域上近似模拟程序语义的通用框架

1

来源数

50%

置信度

长期有效

时效性

2026/8/31

首次发现

来源

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

涉及实体

Abstract Interpretationconcept Patrick Cousotperson Radhia Cousotperson

相关事实

待验证COBOL诞生于1959年，由格蕾丝·霍珀等人推动开发，其语法接近英语句子结构，设计目标包含让非技术人员也能读写程序55% 相似待验证FFT算法由Cooley和Tukey在1965年正式发表，核心思想可追溯到高斯在1805年的手稿54% 相似待验证弗雷格在1879年发表《概念文字》（Begriffsschrift），引入量词和谓词函数概念，将命题逻辑推进到谓词逻辑54% 相似已验证零成本抽象概念源自C++之父Bjarne Stroustrup提出的原则53% 相似待验证锚定效应最早由阿莫斯·特沃斯基和丹尼尔·卡尼曼在1974年提出，是行为经济学的核心概念53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/829155

API

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

MCP

get_claim(id=829155)