LEADER 03070nam 2200625 450 001 9910827041803321 005 20240205155449.0 010 $a1-119-85118-1 010 $a1-119-85119-X 010 $a1-119-85117-3 024 7 $a10.1002/9781119851196 035 $a(CKB)4100000011995260 035 $a(MiAaPQ)EBC6690677 035 $a(Au-PeEL)EBL6690677 035 $a(OCoLC)1263872911 035 $a(OCoLC)1269508933 035 $a(OCoLC-P)1269508933 035 $a(CaSebORM)9781786306029 035 $a(EXLCZ)994100000011995260 100 $a20220421d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aConcepts and semantics of programming languages 2 $emodular and object-oriented constructs with Ocaml, Python, C++, Ada and Java /$fThe?re?se Hardin [and three others] 210 1$aHoboken :$cISTE Ltd / John Wiley and Sons Inc,$d[2021] 210 4$dİ2021 215 $a1 online resource (265 pages) 225 1 $aComputer engineering series 300 $aIncludes index. 311 $a1-78630-602-6 330 $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. 410 0$aComputer engineering series. 606 $aProgramming languages (Electronic computers)$xSemantics 606 $aOCaml (Computer program language) 606 $aPython (Computer program language) 606 $aC++ (Computer program language) 606 $aAda (Computer program language) 606 $aJava (Computer program language) 615 0$aProgramming languages (Electronic computers)$xSemantics. 615 0$aOCaml (Computer program language) 615 0$aPython (Computer program language) 615 0$aC++ (Computer program language) 615 0$aAda (Computer program language) 615 0$aJava (Computer program language) 676 $a005.13 700 $aHardin$b The?re?se$01175257 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827041803321 996 $aConcepts and semantics of programming languages 2$93967537 997 $aUNINA