Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Foundations of object-oriented langu...
~
Bruce, Kim B.
Foundations of object-oriented languagestypes and semantics /
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Foundations of object-oriented languages/ Kim B. Bruce.
其他題名:
types and semantics /
作者:
Bruce, Kim B.
出版者:
Cambridge, Mass. :MIT Press,�002.
面頁冊數:
1 online resource (xx, 384 pages)
標題:
Object-oriented programming (Computer science) -
電子資源:
Click here for online access to this book (查閱全文) (EBSCO eBook)
ISBN:
0585442665 (electronic bk.)
ISBN:
9780585442662 (electronic bk.)
ISBN:
0262255855 (electronic bk.)
ISBN:
9780262255851 (electronic bk.)
Foundations of object-oriented languagestypes and semantics /
Bruce, Kim B.
Foundations of object-oriented languages
types and semantics /[electronic resource] :Kim B. Bruce. - Cambridge, Mass. :MIT Press,�002. - 1 online resource (xx, 384 pages)
Includes bibliographical references (pages 367-377) and index.
Type Problems in Object-Oriented Languages --I.
ISBN: 0585442665 (electronic bk.)Subjects--Topical Terms:
146943
Object-oriented programming (Computer science)
Index Terms--Genre/Form:
172687
Electronic books.
LC Class. No.: QA76.64 / .B776 2002eb
Dewey Class. No.: 005.1/17
Foundations of object-oriented languagestypes and semantics /
LDR
:03130nmm 2200433Ia 4500
001
1000048739
005
20140814083130.0
006
m o d
007
cr cn|||||||||
008
030402s2002 mau ob 001 0 eng d
019
$a
51488097
$a
827012385
020
$a
0585442665 (electronic bk.)
020
$a
9780585442662 (electronic bk.)
020
$a
0262255855 (electronic bk.)
020
$a
9780262255851 (electronic bk.)
020
$z
026202523X (hc. : alk. paper)
020
$z
9780262025232
035
$a
(OCoLC)51958214
$z
(OCoLC)51488097
$z
(OCoLC)827012385
035
$a
ocm51958214
040
$a
N$T
$b
eng
$e
pn
$c
N$T
$d
YDXCP
$d
OCLCQ
$d
TUU
$d
OCLCQ
$d
TNF
$d
OCLCQ
$d
COO
$d
B24X7
$d
IEEEE
$d
OCLCO
$d
ZCU
$d
OCLCF
$d
OCLCQ
049
$a
MAIN{me_controlnum}
050
4
$a
QA76.64
$b
.B776 2002eb
072
7
$a
COM
$x
051210
$2
bisacsh
082
0 4
$a
005.1/17
$2
21
100
1
$a
Bruce, Kim B.
$3
1000073186
245
1 0
$a
Foundations of object-oriented languages
$h
[electronic resource] :
$b
types and semantics /
$c
Kim B. Bruce.
260
$a
Cambridge, Mass. :
$b
MIT Press,
$c
�002.
300
$a
1 online resource (xx, 384 pages)
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
504
$a
Includes bibliographical references (pages 367-377) and index.
505
0 0
$g
I.
$t
Type Problems in Object-Oriented Languages --
$g
1.
$t
Introduction --
$g
2.
$t
Fundamental Concepts of Object-Oriented Languages --
$g
3.
$t
Type Problems in Object-Oriented Languages --
$g
4.
$t
Adding Expressiveness to Object-Oriented Languages --
$g
5.
$t
Understanding Subtypes --
$g
6.
$t
Type Restrictions on Subclasses --
$g
7.
$t
Varieties of Object-Oriented Programming Languages.
$t
Historical Notes and References for Section I --
$g
II.
$t
Foundations: The Lambda Calculus --
$g
8.
$t
Formal Language Descriptions and the Lambda Calculus --
$g
9.
$t
The Polymorphic Lambda Calculus.
$t
Historical Notes and References for Section II.
505
0 0
$g
III.
$t
Formal Descriptions of Object-Oriented Languages --
$g
10.
$t
SOOL, a Simple Object-Oriented Language --
$g
11.
$t
A Simple Translational Semantics of Objects and Classes --
$g
12.
$t
Improved Semantics for Classes --
$g
13.
$t
SOOL's Type System Is Safe (and Sound) --
$g
14.
$t
Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance.
$t
Historical Notes and Reference for Section III --
$g
IV.
$t
Extending Simple Object-Oriented Languages --
$g
15.
$t
Adding Bounded Polymorphism to SOOL --
$g
16.
$t
Adding MyType to Object-Oriented Programming Languages --
$g
17.
$t
Match-Bounded Polymorphism.
505
0 0
$g
18.
$t
Simplifying: Dropping Subtyping for Matching.
$t
Historical Notes and References for Section IV.
588
$a
Description based on print version record.
650
0
$a
Object-oriented programming (Computer science)
$3
146943
650
0
$a
Programming languages (Electronic computers)
$3
149354
650
6
$a
Langages orient歋s objet (Informatique)
$3
1000073187
650
7
$a
COMPUTERS
$x
Programming
$x
Object Oriented.
$2
bisacsh
$3
1000073188
655
4
$a
Electronic books.
$2
local.
$3
172687
776
0 8
$i
Print version:
$a
Bruce, Kim B.
$t
Foundations of object-oriented languages.
$d
Cambridge, Mass. : MIT Press, �002
$z
026202523X
$w
(DLC) 2001054613
$w
(OCoLC)48223020
856
4 0
$3
EBSCOhost
$u
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=70963
$z
Click here for online access to this book (查閱全文) (EBSCO eBook)
938
$a
Books 24x7
$b
B247
$n
bks00002110
938
$a
EBSCOhost
$b
EBSC
$n
70963
938
$a
YBP Library Services
$b
YANK
$n
2332556
0 筆讀者評論
館藏地:
全部
線上資料庫
出版年:
卷號:
館藏
2 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
OE0042736
線上資料庫
線上資源
線上電子書
OE
一般(Normal)
在架
0
OE0046688
線上資料庫
線上資源
線上電子書
OE c.2
一般(Normal)
在架
0
2 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入