待验证50% 置信事实精确时间
GF（Grammatical Framework）由 Aarne Ranta 主导开发，基于 Martin-Löf 类型论，将抽象语法与具体语法严格分离，天然支持多语言语义对等转换
1
来源数
50%
置信度
长期有效
时效性
2026/7/20
首次发现
来源
相关事实
待验证规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统，并在BDD中通过Gherkin语言的Feature文件得到工程化落地62% 相似待验证Ryan Lopopolo将大语言模型比作模糊编译器，认为代码只是上下文规范的编译产物60% 相似待验证一种可行的混合架构是用大模型处理自然语言模糊性并转化为结构化中间表示，再交由手工规则系统进行确定性的程序化执行60% 相似待验证狐表采用的脚本语言基于VB.NET语法，但做了大量简化和封装60% 相似待验证The Devon document format used in OpenSpec is a structured requirement description format similar to Gherkin syntax (Given-When-Then pattern) in Behavior-Driven Development.59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/565364API
curl https://kongchang.com/api/v1/knowledge/claims/565364MCP
get_claim(id=565364)