Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java (2021)
    London : Wiley
    Details
    ISBN: 9781119851196 , 111985119X , 1119851181 , 9781119851189 , 9781786306029
    Language: English
    Pages: 1 online resource (1 volume)
    Series Statement: Computer engineering series
    Parallel Title: Erscheint auch als
    DDC: 005.13
    Keywords: Programming languages (Electronic computers) Semantics ; OCaml (Computer program language) ; Python (Computer program language) ; C++ (Computer program language) ; Ada (Computer program language) ; Java (Computer program language) ; Langages de programmation ; Sémantique ; OCaml (Langage de programmation) ; Python (Langage de programmation) ; C++ (Langage de programmation) ; Ada (Langage de programmation) ; Java (Langage de programmation) ; Ada (Computer program language) ; C++ (Computer program language) ; Java (Computer program language) ; OCaml (Computer program language) ; Programming languages (Electronic computers) ; Semantics ; Python (Computer program language)
    Abstract: 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.
    Note: Print version record
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 2
    Online Resource
    Online Resource
    Concepts and Semantics of Programming Languages 1 (2021)
    [Erscheinungsort nicht ermittelbar] : Wiley-ISTE | Boston, MA : Safari
    Details
    ISBN: 9781786305305
    Language: English
    Pages: 1 online resource (336 pages)
    Edition: 1st edition
    Keywords: Electronic books ; local
    Abstract: This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. 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.
    Note: Online resource; Title from title page (viewed August 17, 2021) , Mode of access: World Wide Web.
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...