ORPP logo

Concepts and Semantics of Programming Languages 2 : (Record no. 28250)

MARC details
000 -LEADER
fixed length control field 04941nam a22004573i 4500
001 - CONTROL NUMBER
control field EBC6690677
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240724115224.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240724s2021 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781119851172
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781786306029
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC6690677
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL6690677
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1263872911
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.7 .H37 2021
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hardin, Therese.
245 10 - TITLE STATEMENT
Title Concepts and Semantics of Programming Languages 2 :
Remainder of title Modular and Object-Oriented Constructs with OCaml, Python, C++, Ada and Java.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Newark :
Name of producer, publisher, distributor, manufacturer John Wiley & Sons, Incorporated,
Date of production, publication, distribution, manufacture, or copyright notice 2021.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2021.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (265 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Cover -- 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# - FORMATTED CONTENTS NOTE
Formatted contents note 3.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 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic 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 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers)-Semantics.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jaume, Mathieu.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pessaux, François.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Viguie Donzeau-Gouge, Veronique.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Hardin, Therese
Title Concepts and Semantics of Programming Languages 2
Place, publisher, and date of publication Newark : John Wiley & Sons, Incorporated,c2021
International Standard Book Number 9781786306029
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6690677">https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6690677</a>
Public note Click to View

No items available.

© 2024 Resource Centre. All rights reserved.