咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >A BRIDGE BETWEEN CONSTRUCTIVE ... 收藏

A BRIDGE BETWEEN CONSTRUCTIVE LOGIC AND COMPUTER-PROGRAMMING

作     者:NEPEJVODA, NN 

作者机构:Applied Logics and Systemotechnic Department Kirova Str. 132 Izhevsk SU-426001 USSR 

出 版 物:《THEORETICAL COMPUTER SCIENCE》 (理论计算机科学)

年 卷 期:1991年第90卷第1期

页      面:253-270页

核心收录:

学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

主  题:Computer Programming 

摘      要:Some logic notions have their analogies among programming concepts and vice versa. But people often try to understand these analogies in too straightforward a manner. A collection of analogies arising between constructive logics and programming is summarized and illustrated here. Some examples of complexities usually not taken into account are shown.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分