MARC Record from marc_columbia

LEADER: 05338cam a2200661Ia 4500
001 4254724
005 20220723225551.0
006 m o d
007 cr cn|||||||||
008 030402s2002 mau ob 001 0 eng d
010 $z 2001054613
035 $a(OCoLC)ocm51958214
035 $a(NNC)4254724
040 $aN$T$beng$epn$cN$T$dYDXCP$dOCLCQ$dTUU$dOCLCQ$dTNF$dOCLCQ$dCOO$dB24X7$dIEEEE$dOCLCO$dZCU$dOCLCF$dOCLCQ$dPIFBR$dESU$dOCLCQ$dNJR$dWY@$dOCLCQ$dMNS$dLUE$dMIH$dVTS$dMUO$dMERER$dOCLCQ$dINT$dTOF$dAU@$dOCLCQ$dTKN$dLEAUB$dEBLCP$dLUN$dBRF$dEYM$dOCLCO$dOCL
019 $a51488097$a827012385$a961687658$a962570376$a1060196617$a1170819888$a1172215653$a1179720295$a1194820786
020 $a0585442665$q(electronic bk.)
020 $a9780585442662$q(electronic bk.)
020 $a0262255855$q(electronic bk.)
020 $a9780262255851$q(electronic bk.)
020 $z026202523X$q(hc. ;$qalk. paper)
020 $z9780262025232
020 $a9780262525732$q(print)
020 $a0262525739
035 $a(OCoLC)51958214$z(OCoLC)51488097$z(OCoLC)827012385$z(OCoLC)961687658$z(OCoLC)962570376$z(OCoLC)1060196617$z(OCoLC)1170819888$z(OCoLC)1172215653$z(OCoLC)1179720295$z(OCoLC)1194820786
037 $aitpro
050 4 $aQA76.64$b.B776 2002eb
072 7 $aCOM$x051210$2bisacsh
082 04 $a005.1/17$221
049 $aZCUA
100 1 $aBruce, Kim B.
245 10 $aFoundations of object-oriented languages :$btypes and semantics /$cKim B. Bruce.
260 $aCambridge, Mass. :$bMIT Press,$c©2002.
300 $a1 online resource (xx, 384 pages)
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
504 $aIncludes bibliographical references (pages 367-377) and index.
505 00 $gI.$tType Problems in Object-Oriented Languages --$g1.$tIntroduction --$g2.$tFundamental Concepts of Object-Oriented Languages --$g3.$tType Problems in Object-Oriented Languages --$g4.$tAdding Expressiveness to Object-Oriented Languages --$g5.$tUnderstanding Subtypes --$g6.$tType Restrictions on Subclasses --$g7.$tVarieties of Object-Oriented Programming Languages.$tHistorical Notes and References for Section I --$gII.$tFoundations: The Lambda Calculus --$g8.$tFormal Language Descriptions and the Lambda Calculus --$g9.$tThe Polymorphic Lambda Calculus.$tHistorical Notes and References for Section II.
505 00 $gIII.$tFormal Descriptions of Object-Oriented Languages --$g10.$tSOOL, a Simple Object-Oriented Language --$g11.$tA Simple Translational Semantics of Objects and Classes --$g12.$tImproved Semantics for Classes --$g13.$tSOOL's Type System Is Safe (and Sound) --$g14.$tCompleting SOOL: super, nil, Information Hiding, and Multiple Inheritance.$tHistorical Notes and Reference for Section III --$gIV.$tExtending Simple Object-Oriented Languages --$g15.$tAdding Bounded Polymorphism to SOOL --$g16.$tAdding MyType to Object-Oriented Programming Languages --$g17.$tMatch-Bounded Polymorphism.
505 00 $g18.$tSimplifying: Dropping Subtyping for Matching.$tHistorical Notes and References for Section IV.
588 0 $aPrint version record.
520 $aIn recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them. The text begins by analyzing existing object-oriented languages, paying special attention to their type systems and impediments to expressiveness. It then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system similar to those of class-based object-oriented languages in common use. The text offers proof that the type system is sound by showing that the semantics preserves typing information. It concludes with a discussion of desirable features, such as parametric polymorphism and a MyType construct, that are not yet included in most statically typed object-oriented languages.
650 0 $aObject-oriented programming (Computer science)
650 0 $aProgramming languages (Electronic computers)
650 0 $aObject-oriented programming languages.
650 6 $aLangages orientés objet (Informatique)
650 6 $aProgrammation orientée objet (Informatique)
650 7 $aCOMPUTERS$xProgramming$xObject Oriented.$2bisacsh
650 7 $aObject-oriented programming languages.$2fast$0(OCoLC)fst01741387
650 7 $aObject-oriented programming (Computer science)$2fast$0(OCoLC)fst01042804
650 7 $aProgramming languages (Electronic computers)$2fast$0(OCoLC)fst01078704
650 7 $aEngineering & Applied Sciences.$2hilcc
650 7 $aComputer Science.$2hilcc
655 0 $aElectronic books.
655 4 $aElectronic books.
776 08 $iPrint version:$aBruce, Kim B.$tFoundations of object-oriented languages.$dCambridge, Mass. : MIT Press, ©2002$z026202523X$w(DLC) 2001054613$w(OCoLC)48223020
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio4254724$zAll EBSCO eBooks
852 8 $blweb$hEBOOKS