Free Shipping on Order Over $90
AfterPay Available
Concepts and Semantics of Programming Languages 1

Concepts and Semantics of Programming Languages 1

A Semantical Approach with OCaml and Python

by Mathieu JaumeTherese Hardin Francois Pessaux and others
Hardback
Publication Date: 18/06/2021
  $319.75
or 4 easy payments of $79.94 with
afterpay
      Please Note: We will source your item through a special order. Generally sent within 120 days.
This item qualifies for FREE delivery
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.

ISBN:
9781786305305
9781786305305
Category:
Electronics & communications engineering
Format:
Hardback
Publication Date:
18-06-2021
Language:
English
Publisher:
John\Wiley#& Sons, Incorporated
Country of origin:
United States
Dimensions (mm):
237x168x23.5mm
Weight:
0.63kg

Our US supplier has this title on order.  You can place a backorder for this title now and we will ship it to you when it becomes available. 

While we are unable to provide a delivery estimate, most backorders will be delivered within 120 days. If we are informed by our supplier that the title is no longer available during this time, we will cancel and refund you for this item.  Likewise, if no delivery estimate has been provided within 120 days, we will contact our supplier for an update.  If there is still no delivery estimate we will then cancel the item and provided you with a refund.

If we are able to secure you a copy of the title, our supplier will send it to our Sydney warehouse.  Once received we make sure it is in perfect condition and then despatch it to you via the Australia Post eParcel service, which includes online tracking.  You will receive a shipping notice from us when this occurs.

Customer Reviews

Be the first to review Concepts and Semantics of Programming Languages 1.