最新公告
  • 欢迎您光临IO源码网,本站秉承服务宗旨 履行“站长”责任,销售只是起点 服务永无止境!立即加入我们
  • Principles of programming languages by Gilles Dowek PDF 下载

    Principles of programming languages by Gilles Dowek  PDF 下载

    本站整理下载:
    链接:https://pan.baidu.com/s/1Yny19SMC4-fKxoIFuoJHmA 
    提取码:rt6r 
     
     
    相关截图:
     
    主要内容:
    1.1.4 Test
    A test is a construct that allows the creation of a statement composed of a
    boolean expression b and two statements p 1 and p 2 . In Java, this statement is
    written if (b) p 1 else p 2 .
    To execute the statement if (b) p 1 else p 2 in a state s, the value of
    expression b is first computed in the state s, and depending on whether or not
    its value is true or false, the statement p 1 or p 2 is executed in the state s.
    In Caml, this statement is written if b then p 1 else p 2 . In C, it is writ-
    ten as it is in Java.
    1.1.5 Loop
    A loop is a construct that allows the creation of a statement composed of a
    boolean expression b and a statement p. In Java, this statement is written
    while (b) p.
    To execute the statement while (b) p in the state s, the value of b is first
    computed in the state s. If this value is false, execution of this statement is
    terminated. If the value is true, the statement p is executed, and the value
    of b is recomputed in the new state. If this value is false, execution of this
    statement is terminated. If the value is true, the statement p is executed, and
    the value of b is recomputed in the new state… This process continues until b
    evaluates to false.
    This construct introduces a new possible behaviour: non-termination. In-
    deed, if the boolean value b always evaluates to true, the statement p will
    continue to be executed forever, and the statement while (b) p will never
    terminate. This is the case with the instruction
    int x = 1;
    while (x >= 0) {x = 3;}
    To understand what is happening, imagine a fictional statement called
    skip; that performs no action when executed. You can then define the state-
    ment while (b) p as shorthand for the statement
    if (b) {p if (b) {p if (b) {p if (b) …
    else skip;}
    else skip;}
    else skip;}
    else skip;
    So a loop is one of the ways in which you can express an infinite object using a
    1.2 Input and Output 7
    finite expression. And the fact that a loop may fail to terminate is a consequence
    of the fact that it is an infinite object.
    In Caml, this statement is written while b do p. In C, it is written as it
    is in Java.

     

    *** 次数:10600 已用完,请联系开发者***

    1. 本站所有资源来源于用户上传和网络,因此不包含技术服务请大家谅解!如有侵权请邮件联系客服!384324621@qq.com
    2. 本站不保证所提供下载的资源的准确性、安全性和完整性,资源仅供下载学习之用!如有链接无法下载、失效或广告,请联系客服处理,有奖励!
    3. 您必须在下载后的24个小时之内,从您的电脑中彻底删除上述内容资源!如用于商业或者非法用途,与本站无关,一切后果请用户自负!
    4. 如果您也有好的资源或教程,您可以投稿发布,成功分享后有★币奖励和额外收入!

    IO 源码网 » Principles of programming languages by Gilles Dowek PDF 下载

    常见问题FAQ

    免费下载或者VIP会员专享资源能否直接商用?
    本站所有资源版权均属于原作者所有,这里所提供资源均只能用于参考学习用,请勿直接商用。若由于商用引起版权纠纷,一切责任均由使用者承担。更多说明请参考 VIP介绍。
    提示下载完但解压或打开不了?
    最常见的情况是下载不完整: 可对比下载完压缩包的与网盘上的容量,若小于网盘提示的容量则是这个原因。这是浏览器下载的bug,建议用百度网盘软件或迅雷下载。若排除这种情况,可在对应资源底部留言,或 联络我们.。
    找不到素材资源介绍文章里的示例图片?
    对于PPT,KEY,Mockups,APP,网页模版等类型的素材,文章内用于介绍的图片通常并不包含在对应可供下载素材包内。这些相关商业图片需另外购买,且本站不负责(也没有办法)找到出处。 同样地一些字体文件也是这种情况,但部分素材会在素材包内有一份字体下载链接清单。
    IO源码吧
    一个高级程序员模板开发平台

    发表评论

    • 104会员总数(位)
    • 11122资源总数(个)
    • 77本周发布(个)
    • 7 今日发布(个)
    • 448稳定运行(天)

    提供最优质的资源集合

    立即查看 了解详情