您好,欢迎光临有路网!
程序设计语言/概念和结构(英文版.第2版)
QQ咨询:
有路璐璐:

程序设计语言/概念和结构(英文版.第2版)

  • 出版日期:2002年01月01日
  • 页数:640
  • 定价:¥39.00
有路价
¥13.60 [3.5折]
VIP价
¥12.90 [3.3折]
团购价
¥10.90 [2.8折] (需满50本或500元,可混批)
抵扣价
¥9.80 [2.5折]
配送
优惠活动
13600 积分,每 10 点积分可用于支付 0.01 元。 [详细介绍]
真实库存,72小时内发货!
图书回收
¥1.46
微信扫码卖书
赚钱赚书费

请加入购物车x

购买数量
- +
库存:1
¥13.60
加入购物车
正在处理购买信息,请稍候……
分享领佣金
手机购买
城市
店铺名称
店主联系方式
店铺售价
库存
店铺得分/总交易量
发布时间
操作
暂无入驻店铺出售信息!

新书比价

网站名称
书名
售价
优惠
操作
暂无新书出售信息!

图书详情

目录
I INTRODUCTION

1 The Role of Programming Languages

1.1 Toward Higher-Level Languages
1.2 Problems of Scale
1.3 Programming Paradigms
1.4 Language Implementation: Bridging the Gap
EXERCISES
BIBLIOGRAPHIC NOTES

2 Language Description: Syntactic Structure

2.1 Expression Notations
2.2 Abstract Syntax Trees
2.5 Lexical Syntax
2.4 Context-Free Grammars
2.5 Grammars for Expressions
2.6 Variants of Grammars
EXERCISES
BIBLIOGRAPHIG NOTES

II IMPERATIVE PROGRAMMING

3 Statements: Structured Programming

3.1 The Need for Structured Programming
3.2 Syntax-Directed Control Flow
3.3 Design Considerations: Syntax
3.4 Handling Special Cases in Loops
S.5 Programming with Invariants
3.6 Proof Rules for Panial Correctness
3.7 Control flow in C
EXERCISES
BIBLIOGRAPHIC NOTES

4 Types: Data Representation

4.1 The Role of Types
4.2 Basic Types
4.3 Arrays: Sequences of Elements
4.4 Records: Named Fields
4.5 Unions and Variant Records
4.6 Sets
4.7 Pointers: ERiciency and Dynamic Allocation
4.e Two String Tables
4.9 Types and Error Checking
EXERCISES
BIBLIOGRAPHIC NOTES

5 Procedure Activations

5.1 Introduction to Procedures
5.2 Parameter-Passing Methods
5.3 Scope Rules for Names
5.4 Nested Scopes in the Source Text
5.5 Activation Records
5.8 Lexical Scope: Procedures as in C
5.7 Lexical Scope: Nested Procedures and Pascal
EXERCISES
BIBLIOGRAPHIC NOTES

III OBJECT-ORIENTED PROGRAMMING

6 Groupings of Data and Operations

6.1 Constructs for Program Structuring
6.2 Information Hiding
6.3 Program Design with Modules
6.4 Modules and Defined Types
6.5 Class Declarations in C++
6.6 Dynamic Allocation in C++
6.7 Templates: Parameterized Types
6.8 Implementation of Objects in C++
EXERCISES
BIBLIOGRAPHIC NOTES

7 Object-Oriented Programming

7.1 What is an Object?
7.2 Object-Oriented Thinking
7.3 inheritance
7.4 Object-Oriented Programming in C++
7.5 An Extended C++ Example
7.6 Derived Classes and Information Hiding
7.7 Objects in Smalltalk
7.8 Smalltalk Objects have a Seff
EXERCISES
BIBLIOGRAPHIC NOTES

IV FUNCTIONAL PROGRAMMING

8 Elements of Functional Programming

8.1 A Little Language of Expressions
8.2 Types: Values and Operations
B.3 Function Declarations
8.4 Approaches to Expression Evaluation
8.5 Lexical Scope
B.6 Type Checking
EXERGISES
BIBLIOGRAPHIC NOTES

9 Functional Programming in a Typed Language

9.1 Exploring a List
9.2 Function Declaration by Cases
9.3 Functions as First-Class Values
9.4 ML: ImplicitTypes
9.5 DataTypes
9.6 Exception Handling in ML
9.7 Little Quilt in Standard ML
EXERCISES
BIBLIOGRAPHIC NOTES

10 Functional Programming with Lists

10.1 Scheme, a Dialect of Lisp
10.2 The Structure of Lists
10.3 List Manipulation
10.4 A Motivating Example: DiHerentiation
10.5 Simplification of Expressions
10.6 Storage Allocation for Lists
EXERCISES
BIBLIOGRAPHIC NOTES

V OTHER PARADIGMS

11 Logic Programming

11.1 Computing with Relations
11.2 Introduction to Proiog
11.3 Data Structures in Prolog
11.4 Programming Techniques
11.5 Control in Prolog
11.e Cuts
EXERCISES
BIBLIOGRAPHIC NOTES

12 An Introduction to Concurrent Programming

12.1 Parallelism in Hardware
12.2 Streams: Implicit Synchronization
12.3 Concurrency as Interleaving
12.4 Liveness Propenies
12.5 Safe Access to Shared Data
12.6 Concurrency in Ada
12.7 Synchronized Access to Shared Variables
EXERCISES
BIBLIOGRAPHIC NOTES

VI LANGUAGE DESCRIPTION

13 Semantic Methods

13.1 Synthesized Attributes
13.2 Attribute Grammars
13.3 Natural Semantics
13.4 Denotational Semantics
13.5 A Calculator in Scheme
13.6 Lexically Scoped Lambda Expressions
13.7 An Interpreter
13.8 An Extension: Recursive Functions
EXERCISES
BIBLIOGRAPHIC NOTES

14 Static Types and the Lambda Calculus

14.1 Equality of Pure Lambda Terms
14.2 Substitution Revisited
14.3 Computation with Pure Lambda Terms
14.4 Programming Constructs as Lambda-Terms
14.5 The Typed Lambda Calculus
14.6 Polymorphic Types
EXERCISES
BIBLIOGRAPHIC NOTES

15 A Look at Some Languages

15.1 Pascal: A Teaching Language
15.2 C: Systems Programming
15.3 C++: A Range of Programming Styles
15.4 Smalltalk, the Language
15.5 Standard ML
15.6 Scheme, a Dialect of Lisp
15.7 Prolog

Bibliography
Credits
Index
查看全部>>
暂无商品评价信息
北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门 海外