鞠文广

2009年8月5日 #

理想的编程语言

摘要: 由于现有语言不能很好的为现实世界建模, 我提出一种编程方法论和编程语言ProcessLog. 它的编程思想是"面向进程 + 函数编程+ 逻辑编程等", 用它写的程序的软件体系结构很清晰, 程序简洁优美, 程序的正确性容易用数学推理证明, 适用于各种领域. 阅读全文

posted @ 2009-08-05 17:01 鞠文广 阅读(875) 评论(16) 推荐(1) 编辑

导航