Concepts in Programming Languages.pdf
Concepts in Programming Languages by John Mitchell.一本国外经典教材，看了之后对编程语言更加理解。费了很多劲才找到的。Concepts in Programming LanguagesThis textbook for undergraduate and beginning graduate students explains and examines the central concepts used in modern programminglanguages, such as functions, types, memory management, and controlThe book is unique in its comprehensive presentation and comparisonof major object-oriented programming languages. Separate chapters ex-amine the history of objects, Simula and Smalltalk, and the prominentanguages c++ and JavaThe author presents foundational topics, such as lambda calculus anddenotational semantics, in an easy-to-read, informal style, focusing on themain insights provided by these theories. Advanced topics include concurrency and concurrent object-oriented programming. A chapter on logicprogramming illustrates the importance of specialized programming meth-ods for certain kinds of problemsThis book will give the reader a better understanding of the issuesand trade-offs that arise in programming language design and a betterappreciation of the advantages and pitfalls of the programming languagesthey useJohn C. mitchell is Professor of Computer Science at Stanford University,where he has been a popular teacher for more than a decade. Many of hisformer students are successful in research and private industry. He received his ph D. from mit in 1984 and was a member of technical staff atat&T Bell Laboratories before joining the faculty at Stanford. Over thepast twenty years, Mitchell has been a featured speaker at internationalconferences; has led research projects on a variety of topics, includingprogramming language design and analysis, computer security, and applications of mathematical logic to computer science; and has written morethan 100 research articles. His previous textbook, Foundations for Pro-gramming Languages(MIT Press, 1996), covers lambda calculus, typesystems, logic for program verification, and mathematical semantics ofprogramming languages. Professor Mitchell was a member of the programming language subcommittee of the ACM/ieEE Curriculum 2001standardization effort and the 2002 Program Chair of the aCm principlesof programming languages conferenceCONCEPTS NPROGRAMMINGLANGUAGESJohn c. mitchellStanford UniversityCAMBRIDGEUNIVERSITY PRESSPUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGEThe Pitt Building, Trumpington Street, Cambridge, United KingdomCAMBRIDGE UNIVERSITY PRESSThe Edinburgh Building, Cambridge CB2 2RU, UK40 West 20th Street, New York, NY 10011-4211 USA477 Williamstown Road, Port Melbourne vic 3207, AustraliaRuiz de alarcon 13, 28014 Madrid, spainDock House, The Waterfront, Cape Town 8001, South Africahttp://www.cambridge.orgo Cambridge university press 2004First published in printed format 2002isBN 0-511-03492-X eBook(adobe readerISBN 0-521-78098-5 hardbackContentsPrefacepage IxPart 1 functions and foundations1 Introduction1.1 Programming Languages1.2 Goals1.3 Programming Language History3561.4 Organization: Concepts and Languages2 Computability2. 1 Partial Functions and computability102.2 Chapter SummaryExercises163 Lisp: Functions, Recursion, and Lists3.1 Lisp History183.2 Good Language design203. 3 Brief Language overview223.4 Innovations in the Design of Lisp253.5 Chapter Summary: Contributions of LispExercises404 Fundamentals484.1 Compilers and syntax484.2 Lambda calculus4.3 Denotational semantics4.4 Functional and Imperative Languages4.5 Chapter SummaryExercisesContentsPart 2 Procedures, Types, Memory Management, and Control5 The algol Family and ML5.1 The Algol Family of Programming Languages5.2 The Development of C5.3 The LCF System and ml5.4 The Ml Programming Language1035.5 Chapter summary121Exercises1226 Type Systems and Type Inference1296.1 Types in Programming1296.2 Type Safety and Type Checking1326.3 Type Inference1356.4 Polymorphism and Overloadin1456.5 Type Declarations and Type Equality1516.6 Chapter Summary155Exercises1567 Scope, Functions, and storage Management1627.1 Block-Structured Languages1627.2 In-Line blocks1657.3 Functions and procedures1707.4 Higher-Order functions1827.5 Chapter summary190Exercises1918 Control in Sequential Languages2048.1 Structured control2048.2 Exceptions2078.3 Continuations2188.4 Functions and evaluation order2238.5 Chapter summary227Exercises8Part 3 Modularity, Abstraction, and object-Oriented Programming9 Data Abstraction and Modularity2359.1 Structured Programming2359.2 Language Support for Abstraction2429.3 Modules9.4 Generic Abstractions2599.5 Chapter Summary269Exercises27110 Concepts in Object-Oriented Languages27710.1 Object-Oriented design27710.2 Four Basic concepts in object-Oriented languages278Contents10.3 Program Structure28810.4 Design Patterns29010.5 Chapter summary29210.6 Looking Forward: Simula, SmalltalkC++Java293Exercises29411 History of objects: Simula and smalltalk30011.1 Origin of Objects in Simula30011.2 Objects in Simula30311.3 Subclasses and Subtypes in Simula30811.4 Development of smalltalk31011.5 Smalltalk Language features31211.6 Smalltalk flexibilit31811.7 Relationship between Subtyping andInheritance2211.8 Chapter SummaryExercises32712 objects and Run-Time Efficiency: C++33712.1 Design goals and Constraints33712.2 Overview of c++34012.3 Classes. Inheritance and Virtual functions34612.4 Subtyping35512.5 Multiple inheritance12.6 Chapter summary366Exercises36713 Portability and Safety: Java38413.1 Java language overview38613.2 Java Classes and Inheritance38913.3 Java Types and Subtyping39613.4 Java System architecture40413.5 Security Features41213.6 Java summary417Exercises420Part 4 Concurrency and Logic Programming14 Concurrent and Distributed Programming43114.1 Basic Concepts in Concurrency43314.2 The actor model44114.3 Concurrent ML14.4 Java concurrency45414.5 Chapter Summary466Exercises469Contents15 The Logic Programming Paradigm and Prolog47515. 1 History of logic Programming15.2 Brief Overview of the logic Programming Paradigm4715. 3 Equations solved by Unification as Atomic Actions15.4 Clauses as Parts of procedure declarations48215.5 Prologs Approach to Programming48615.6 Arithmetic in Prolog49215.7 Control, Ambivalent Syntax, and Meta-Variables49615.8 Assessment of Prolog50515.9 Bibliographic remarks50715.10 Chapter Summary507Appendix a Additional Program Examples509A 1 Procedural and Object-Oriented organization509Glossary521Index525
- 2020-12-09下载
- 积分：1
中兴物联网MC8618模块技术手册
中兴通讯MC8618模块硬件用户指导手册_V2.6 。。。。。。ZTEWelinkMC8618模块硬件用户指导手册法律声明若接收深圳市中兴物联科技有限公司(以下称为“中兴物联”)的此份文档,即表示您已同意以下条款。若不同意以下条款,请停止使用本文档。本文档版权所有深圳市中兴物联科技有限公司,保留任何末在本文档中明示授予的权利。文档中涉及中兴物联的专有信息。末经中兴物联事先书面许可,任何单位和个人不得复制、传递、分发、使用和泄漏该文档以及该文档包含的任何图片、衣格、数据及其他信息。◆中兴物联是中兴通讯全资子公司,是中兴通讯从事无线模块研发、生和售的专业子公司ZTEWelink是中兴物联的注册商标。中兴物联的名称和标志是中兴物联的商标或注册商标,同时中兴物联授权使用中兴通讯的注朋商标。在本文档中提及的其他品或公司名称可能是各自所有者的尚标或注册商标。在末经中兴物联或第三方权利人事先书面同总的情沈下,阅读木文档并不表示以默示、不可反言或其他方式授了阅读者任何使用木文档中出现的任何标记的权利。本产品符合有关环境保护和人身安全方面的设计要求,产品的存放、使用和弃置应遵照产品手册、相关合同或相关国法律、法规的要求进本公司保留在不预先通知的情况,对此手册中描述的产品进行修改和改进的权利:同时保留随时修订或收回本于册的权利本用户手册中如有文字不明之处,请您及时向本公司或者代理商、销售商咨询。2015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册版本更新说明版本日期说明V2.02014-4-10手朋第一次发行V2.12014-4-23V2.22014-4-29修改袢审意见V2.3更新第6章模块贴片工艺及烘烤指南2014-05-19更新模块实物图更新表3-2中的平均待机电流V2.4201406-13更新表1-1中的休眠电流更新模块实物图更新表1-1中的模块功能介绍中的天线接凵及模缺尺寸更新图1-1模块原理示意图更新第5章中的模块实物图、模块装配图V2.52015-03-06新增图2-1模块管脚顺序图更新42节串口内容更新我司LOGOV2.62015-03-23新增文档适用范围,即模块PID信息02015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册联系方式邮寄地址深圳市南山区高新园北环大道9018号A座九楼网站www.ztewelink.com联系电话+86-755-86360200-8679邮箱ztewelinkazte com cn注:中兴物联为客广提供现场、电话、网站、即吋通讯、EMAL等多种支持方式。客户也可以通过我们的网站了解并获取最新的产品说明、技术指导文档、产品应用案例、固件升级及常用故障排除技巧和最新产品发布新闻信息等。02015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册前言概述本文档通过介绍模块的产品原理图、模块引脚、硬件接∏和模垬结构等,用以指导用户对模块进行硬件设计,并在该模块基础上更方便快捷的进行各种终端无线产品的设计。阅读对象木文档主要适用于以下工程师系统设计工程帅结构⊥程师硬件工程师软件工程师●测试工程师内容简介本文档包含7章,内容如下:章节内容1模块整体说明介绍模的基本技术规格、参考涉及的相关文档和缩略语2模块对外接口说明简要介绍模块引脚名称和功能3模块电气特性(介纤模块接口电平、功耗、可靠性等4硬件接冂描述介绍模块各部分的硬件接冂设计5结构尺寸介绐模块的外观图、装配图和主板PCB布线图6模块板贴片工艺和烘介绍模块板贴片工竺和烘烤指南烤指南安全警告和注意事项介绍模块使用过程屮的安全警告和注意事项2015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册目录模块硬件用户指导手册1模块整体说明1.1模块功能介绍1.2模块原理图.….…13缩略语.2模块对外接口说明.…2.1模块接口定义2.2天线接口2.3大线接口的射频性能.3模块电气特性3.1接口电平说明32模块功耗3.3开关机时序3.4可靠性特性3.5ESD特性104接口电路参考设计1141电源及复位114.2串1242.1全流控UART1接口描述.1442.2UART2接口描述154.3UM卡接口154.4工作状态指示灯15结构尺寸…■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■1851外观图.185.2模块装配图……192015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册5.3模块主板PCB封装人寸图6模块板贴片工艺和烘烤指南■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■216.1存储要求2162接口板焊盘推荐2163接口板上模块位置要求236.4模块平面度标准246.5工艺路经选择2465.1锡膏的选择2465.2接口板对应模块焊盘钢网开口设计246.5.3模块板的贴片D0D256.5.4模块焊接回流曲线.….6,5.5过炉方式…2765.6不良品返修276.6模块烘烤指南.286.6.1模块烘烤环境.28662烘烤设备和操作步骤663模块烘烤设备参数设置………287安全警告和注意事项2902015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册图目录图1-1模块原理示意图.图2-1模块管脚顺序图….….图31开机时序图图41开关机及复位按键电路参考设计原理图图4-2UART接∏推荐电平转换电路1.….…图4-3UART接口推荐电平转换电路2…图44 UART DCE-DTE连接关系图图45UART2DCE一DTE连接关系图.15图46UM卡电路参考设计图16图4-7指示灯参考设计原理图17图5-1模块外观图图5-2模块装配图图5-3对应的母座PCB封装尺寸图…20图6-1模块木体尺寸……22图6-2对应接口板推荐尺寸……….22图63模块板贴装在接口板上焊盘图示23图64接口板上模块位置绿油及白油示意图65模块板钢网示意图25图66中兴物料模块壳盘26图6-7模块炒温线示意图272015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散ZTEWelinkMC8618模块硬件用户指导手册表目录表1-1模块功能介绍表1-2缩略语介绍表2-1模块接口定义介绍表2-2天线接口的射频性能衣3-1模块对外主要接冂电平说明表3-2模块在主要状态下的功耗情况表3-3开关机电路时间特性2578899袤3-4模块温度特性表3-5模块ESD特性.…10长4-1电压特性…表42全流控UART接口定义14表43UART2接口定义15表44UM卡接口定义…表45工作状态指示灯描述…16表6-1烘烤参数.21表62客户端接口板模块焊盘推荐设计尺寸…23表63邮票孔式模块焊盘钢网开孔…242015版权所有@中兴物联科技有限公司中兴物联版权所有未经许可不得扩散
- 2020-11-27下载
- 积分：1
