Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
Therese Hardin
ISBN 10: 1786305305 ISBN 13: 9781786305305
Published by ISTE Ltd and John Wiley & Sons Inc, 2021
New
Hardcover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since February 27, 2001
This specific item is no longer available.
About this Item
Description:
2021. 1st Edition. Hardcover. . . . . . Seller Inventory # V9781786305305
Synopsis:
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.
About the Author:
Thérèse Hardin is Professor Emeritus at the Laboratoire dÂInformatique de Paris 6 (LIP6), Sorbonne University, France.
Mathieu Jaume is a lecturer at the Laboratoire dÂInformatique de Paris 6 (LIP6), Sorbonne University, France.
François Pessaux is Associate Professor in the Computer Science and Systems Engineering Unit (U2IS) of ENSTA Paris, France.
Véronique Viguié Donzeau-Gouge is Professor Emeritus at the Centre dÂétudes et de recherche en informatique (CEDRIC) of the Conservatoire national des arts et métiers (Cnam Paris), France.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Concepts and Semantics of Programming ...
Publisher: ISTE Ltd and John Wiley & Sons Inc
Publication Date: 2021
Binding: Hardcover
Condition: New
Edition: 1st Edition
Top Search Results from the AbeBooks Marketplace
Stock Image
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python (Computer Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2912160172518
Stock Image
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42569381-n
Stock Image
Concepts and Semantics of Programming Languages 1 (Hardcover)
Published by
ISTE Ltd and John Wiley & Sons Inc, London, 2021
ISBN 10: 1786305305
ISBN 13: 9781786305305
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781786305305
Stock Image
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42569381
Stock Image
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 42569381-n
Buy New
US$ 178.36
US$ 20.05 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Concepts and Semantics of Programming Languages 1
Published by
ISTE Ltd and John Wiley and Sons Inc, 2021
ISBN 10: 1786305305
ISBN 13: 9781786305305
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9781786305305
Buy New
US$ 178.38
US$ 6.71 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available
Stock Image
Concepts and Semantics of Programming Languages : A Semantical Approach With Ocaml and Python
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 42569381
Buy Used
US$ 182.09
US$ 20.05 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python (Computer Engineering)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781786305305
Seller Image
Concepts and Semantics of Programming Languages 1: A Semantical Approach with Ocaml and Python
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Therese Hardin is Professor Emeritus at the Laboratoire d?Informatique de Paris 6 (LIP6), Sorbonne University, France.Mathieu Jaume is a lecturer at the Laboratoire d?Informatique de Paris 6 (LIP6), Sorbonne University, France.Francois Pessaux is Associate . Seller Inventory # 456405606
Buy New
US$ 190.32
US$ 57.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Concepts and Semantics of Programming Languages 1
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 454. Seller Inventory # B9781786305305
Buy New
US$ 201.05
US$ 20.44 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available