Therese Hardin,Mathieu Jaume,Francois Pessaux,Veronique Viguie Donzeau-Gouge
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
YOU SAVE £15.80
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Couldn't load pickup availability
Excellent- More about Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
This book explores the syntactical constructs of common programming languages, sheds a mathematical light on their semantics, and provides an accurate presentation of the material aspects that interfere with coding. It is dedicated to functional and imperative features and includes the formal study of the semantics of typing and execution.
\n Format: Hardback
\n Length: 336 pages
\n Publication date: 18 June 2021
\n Publisher: ISTE Ltd
\n
This comprehensive two-volume work delves into the intricate syntactical constructs of the most widely used programming languages, offering a mathematical perspective on their semantics. While providing a detailed account of the practical aspects that hinder coding, it also presents a clear and accurate presentation of the subject matter.
Concepts and Semantics of Programming Languages 1 focuses on both functional and imperative features, providing a formal study of the semantics of typing and execution. This is achieved through the implementation of these concepts in OCaml and Python, along with comprehensive worked examples.
Data representation is explored in depth, covering topics such as endianness, pointers, memory management, union types, and pattern-matching. Examples are provided in OCaml, C, and C++ to illustrate these concepts.
The second volume of the book introduces a specific model for studying modular and object-oriented features. This model is applied to present Ada and OCaml modules, followed by an in-depth exploration of Java, C++, OCaml, and Python classes and objects.
This book is designed to cater to a wide audience, including computer science students and teachers, as well as experienced programmers seeking to enhance their understanding of reference manuals and the fundamentals of program verification. Its comprehensive coverage and mathematical approach make it an invaluable resource for anyone interested in the field of programming languages.
\n Weight: 640g\n
Dimension: 163 x 240 x 25 (mm)\n
ISBN-13: 9781786305305\n \n
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
