| Judul | Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin |
| Pengarang | Hardin, Therese Jaume, Mathieu Pessaux, François Gouge, Veronique Viguie Donzeau |
| Penerbitan | New Jersey, USA : Wiley-ISTE, 2021 |
| Deskripsi Fisik | 265 :ill |
| ISBN | 978-1-119-85118-9 |
| Subjek | PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)-SEMANTICS. |
| Abstrak | This 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. |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| Lokasi Akses Online |
https://ebookcentral.proquest.com/lib/unair-ebooks/detail.action?docID=6690677 |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| 006423292 | 513 Har c | Baca Online | Perpustakaan Pusat - Online Resources Ebook |
Tersedia |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000159505 | ||
| 005 | 20250320094622 | ||
| 007 | ta | ||
| 008 | 250320################|##########|#|## | ||
| 020 | # | # | $a 978-1-119-85118-9 |
| 035 | # | # | $a 0010-0325001124 |
| 082 | # | # | $a 513 |
| 084 | # | # | $a 513 Har c |
| 100 | 0 | # | $a Hardin, Therese |
| 245 | 1 | # | $a Concepts and Semantics of Programming Languages 2 : $b Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java /$c Therese Hardin |
| 260 | # | # | $a New Jersey, USA :$b Wiley-ISTE,$c 2021 |
| 300 | # | # | $a 265 : $b ill |
| 520 | # | # | $a This 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. |
| 650 | # | # | $a PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)-SEMANTICS. |
| 700 | 0 | # | $a Gouge, Veronique Viguie Donzeau |
| 700 | 0 | # | $a Jaume, Mathieu |
| 700 | 0 | # | $a Pessaux, François |
| 856 | # | # | $a https://ebookcentral.proquest.com/lib/unair-ebooks/detail.action?docID=6690677 |
| 990 | # | # | $a 006423292 |
Content Unduh katalog
Karya Terkait :