当前位置：
和泉文库
>
计算机
> 南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）03-Control
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）03-Control
文件格式：PPTX，文件大小：839.21KB，售价：2.52元
共17页，可试读7页，点击往前阅读 ↑↑
文档详细内容（约17页）
print vs return Demo
print vs return Demo
Control
Control
点击进入文档下载页（PPTX格式）
共17页，试读已结束，阅读完整版请下载
您可能感兴趣的文档
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）02-Names & Functions
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）01-Introduction（主讲：冯新宇）
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
《计算机科学》相关教学资源（PPT课件讲稿）Modular Verification of Assembly Code with Stack-Based Control Abstractions
《计算机科学》相关教学资源（PPT课件讲稿）An Open Framework for Foundational Proof-Carrying Code
《计算机科学》相关教学资源（PPT课件讲稿）Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
《计算机科学》相关教学资源（PPT课件讲稿）On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning
《计算机科学》相关教学资源（参考文献）Technical Report TTIC-TR-2008-1（Local Rely-Guarantee Reasoning）
《计算机科学》相关教学资源（参考文献）Deny-Guarantee Reasoning
《计算机科学》相关教学资源（参考文献）A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations
《计算机科学》相关教学资源（参考文献）Modular Verification of Linearizability with Non-Fixed Linearization Points
《计算机科学》相关教学资源（参考文献）Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）04-Environment Diagrams
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）05-Higher-Order Functions
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）06-Recursion
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）07-Recursion Examples
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）08-Containers
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）09-Data-Abstractions
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）10-Trees
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）11-Mutable-Values
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）12-Mutable Functions & Growth
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）13-Iterators
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）13-Iterators & Generators
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）14-Object-Oriented Programming
点击购买下载（PPTX）
下载及服务说明
购买前请先查看本文档预览页，确认内容后再进行支付；
如遇文件无法下载、无法访问或其它任何问题，可发送电子邮件反馈，核实后将进行文件补发或退款等其它相关操作；
邮箱：
文档浏览记录
南京大学：《计算机程序的构造和解释 Structure and Interpretation of Computer Programs》课程教学资源（PPT课件讲稿）03-Control
©2025 mall.hezhiquan.com 和泉文库
