摘要 : A new approach to domain-specific reasoning is presented that is based on a type-theoretic logical framework (LF) but does not require the user to be an expert in type theory. The concepts of the domain and its related reasoning s... 展开
作者 | Jian-Min Pang Paul Callaghan Zhao-Hui Luo |
---|---|
作者单位 | |
期刊名称 | 《Journal of Computer Science & Technology》 |
页码/总页数 | p.526-535 / 10 |
语种/中图分类号 | 英语 / TP3 |
关键词 | domain-specific formal reasoning logical framework proof assistant type theory |
馆藏号 | TP-142 |