000 04366cam a2200793 i 4500
001 on1269508933
003 OCoLC
005 20240523125543.0
006 m o d
007 cr cnu---unuuu
008 210929s2021 enk o 000 0 eng d
040 _aDG1
_beng
_erda
_epn
_cDG1
_dOCLCO
_dUKAHL
_dOCLCF
_dUKMGB
_dN$T
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dUPM
_dOCLCQ
_dORMDA
_dLANGC
_dOCLCQ
_dOCLCO
_dOCLCL
015 _aGBC1D7816
_2bnb
016 7 _a020300536
_2Uk
020 _a9781119851196
_q(electronic bk. ;
_qoBook)
020 _a111985119X
_q(electronic bk.)
020 _a1119851181
020 _a9781119851189
_q(electronic bk.)
020 _z9781786306029
020 _z1786306026
024 7 _a10.1002/9781119851196
_2doi
029 1 _aAU@
_b000069973435
029 1 _aUKMGB
_b020300536
035 _a(OCoLC)1269508933
037 _a9781119851189
_bWiley
037 _a9781786306029
_bO'Reilly Media
050 4 _aQA76.7
082 0 4 _a005.13
_223
049 _aMAIN
100 1 _aHardin, Th�er�ese,
_eauthor.
245 1 0 _aConcepts and semantics of programming languages 2 :
_bmodular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /
_cTh�er�ese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge.
264 1 _aLondon :
_bISTE Ltd. ;
_aHoboken, NJ :
_bWiley,
_c2021.
300 _a1 online resource (1 volume)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aComputer engineering series
588 0 _aPrint version record.
520 _aThis book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.
590 _aJohn Wiley and Sons
_bWiley Online Library: Complete oBooks
650 0 _aProgramming languages (Electronic computers)
_xSemantics.
650 0 _aOCaml (Computer program language)
650 0 _aPython (Computer program language)
650 0 _aC++ (Computer program language)
650 0 _aAda (Computer program language)
650 0 _aJava (Computer program language)
650 6 _aLangages de programmation
_xS�emantique.
650 6 _aOCaml (Langage de programmation)
650 6 _aPython (Langage de programmation)
650 6 _aC++ (Langage de programmation)
650 6 _aAda (Langage de programmation)
650 6 _aJava (Langage de programmation)
650 7 _aAda (Computer program language)
_2fast
650 7 _aC++ (Computer program language)
_2fast
650 7 _aJava (Computer program language)
_2fast
650 7 _aOCaml (Computer program language)
_2fast
650 7 _aProgramming languages (Electronic computers)
_xSemantics
_2fast
650 7 _aPython (Computer program language)
_2fast
700 1 _aJaume, Mathieu,
_eauthor.
700 1 _aPessaux, Francois,
_eauthor.
700 1 _aDonzeau-Gouge, V�eronique,
_eauthor.
758 _ihas work:
_aConcepts and Semantics of Programming Languages 2 (Text)
_1https://id.oclc.org/worldcat/entity/E39PCXxvd9xH878HVQmj4BcycX
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aHardin, Therese.
_tConcepts and semantics of programming languages 2.
_dLondon : Wiley-ISTE, 2021
_z9781786306029
_w(OCoLC)1264399103
830 0 _aComputer engineering series (London, England)
856 4 0 _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196
938 _aAskews and Holts Library Services
_bASKH
_nAH39137285
938 _aEBSCOhost
_bEBSC
_n2988940
994 _a92
_bINLUM
999 _c12833
_d12833