000			04941nam a22004573i 4500
001			EBC6690677
003			MiAaPQ
005			20240724115224.0
006			m o d |
007			cr cnu||||||||
008			240724s2021 xx o ||||0 eng d
020			_a9781119851172 _q(electronic bk.)
020			_z9781786306029
035			_a(MiAaPQ)EBC6690677
035			_a(Au-PeEL)EBL6690677
035			_a(OCoLC)1263872911
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA76.7 .H37 2021
082	0		_a005.13
100	1		_aHardin, Therese.
245	1	0	_aConcepts and Semantics of Programming Languages 2 : _bModular and Object-Oriented Constructs with OCaml, Python, C++, Ada and Java.
250			_a1st ed.
264		1	_aNewark : _bJohn Wiley & Sons, Incorporated, _c2021.
264		4	_c©2021.
300			_a1 online resource (265 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
505	0		_aCover -- Half-Title Page -- Title Page -- Copyright Page -- Contents -- Foreword -- Preface -- Chapter 1. Namespaces: Model and Operations -- 1.1. Reusing, dividing, confining -- 1.1.1. Analysis of some developer needs -- 1.1.2. Meeting developer needs -- 1.2. Namespaces -- 1.2.1. Namespaces definition -- 1.2.2. Extending notions of environment and binding -- 1.3. kit development -- 1.3.1. Namespace of a kit -- 1.3.2. Order of fields introduction -- 1.3.3. Typing kits -- 1.3.4. kit values -- 1.3.5. kit export, confining fields -- 1.3.6. kits import -- 1.3.7. Stages of kit development -- 1.4. Incomplete kits -- 1.4.1. Type and value of an incomplete kit -- 1.4.2. Completion of an incomplete kit -- 1.4.3. Confining an incomplete kit -- 1.5. Parameterized kits -- 1.5.1. kits parameterized by a type -- 1.5.2. kits parameterized by types and values -- 1.5.3. Confinement, parametrization, incomplete kits and export -- 1.6. Functors of kits -- 1.7. kit extension -- 1.7.1. Presentation of extension -- 1.7.2. Confinement and extension -- 1.8. Conclusion -- Chapter 2. Modules -- 2.1. Modules in Ada -- 2.1.1. Developing modules -- 2.1.2. Export and confinement -- 2.1.3. Nesting modules -- 2.1.4. Importing a module -- 2.1.5. Flattening an import -- 2.1.6. Generic modules -- 2.1.7. Modules and separate compilation -- 2.2. Modules in OCaml -- 2.2.1. Module definition -- 2.2.2. Export and confinement -- 2.2.3. Confinement of type definitions -- 2.2.4. Functors -- 2.3. Modularity, namespaces and W-kit -- 2.3.1. Declaration interfaces -- 2.3.2. W-kits -- 2.3.3. Modularity and header files in C -- Chapter 3. Class and Object Features -- 3.1. Object-oriented features -- 3.1.1. Objects -- 3.1.2. Classes -- 3.2. kits and object features -- 3.2.1. Modeling classes -- 3.2.2. Modeling objects -- 3.2.3. Inheritance, redefinition and late binding.
505	8		_a3.2.4. Incomplete C-kits, parameterized C-kits -- 3.2.5. Subclassing, subtyping -- 3.2.6. Type languages, classes and objects -- Chapter 4. Classes in Selected Languages -- 4.1. Classes in Java -- 4.1.1. General presentation -- 4.1.2. Modules and packages -- 4.1.3. Classes -- 4.1.4. Marks -- 4.1.5. Developing classes -- 4.2. Classes in C++ -- 4.2.1. Header files, namespaces, confinement -- 4.2.2. Classes -- 4.2.3. Inheritance and confinement -- 4.2.4. Overloading in C++ -- 4.2.5. Parameterized classes -- 4.3. Classes in OCaml -- 4.3.1. Presentation -- 4.3.2. An overview of classes -- 4.3.3. Marks, incomplete classes, parametrization -- 4.3.4. Objects -- 4.3.5. Class signatures: confinement and inheritance -- 4.3.6. Multiple inheritance -- 4.3.7. Other features -- 4.4. Presentation of Python -- 4.4.1. Getting started -- 4.4.2. An overview of classes, modules and types -- 4.4.3. Names and assignment -- 4.4.4. Assignment and typechecking -- 4.4.5. Overloading -- 4.4.6. Modules and packages -- 4.4.7. Confinement -- 4.4.8. Inheritance -- 4.4.9. Incomplete C-kits and abstract classes -- 4.4.10. Other features -- Appendix: Questions to Guide Learning -- List of Notations -- References -- Index -- Other titles from iSTE in Computer Engineering -- EULA.
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650		0	_aProgramming languages (Electronic computers)-Semantics.
655		4	_aElectronic books.
700	1		_aJaume, Mathieu.
700	1		_aPessaux, François.
700	1		_aViguie Donzeau-Gouge, Veronique.
776	0	8	_iPrint version: _aHardin, Therese _tConcepts and Semantics of Programming Languages 2 _dNewark : John Wiley & Sons, Incorporated,c2021 _z9781786306029
797	2		_aProQuest (Firm)
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6690677 _zClick to View
999			_c28250 _d28250