Companies Home Search Profile

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Download pdf

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Category

Java

C++

Author

Therese Hardin

Mathieu Jaume

François Pessaux

Veronique Viguie Donzeau-Gouge

Publication

Wiley-ISTE

0 View

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.

'

Download pdf

ISBN-10

ISBN-13

9781786306029

Publisher

Wiley-ISTE

Price

132

File Type

PDF

Page No.

0

Therese Hardin

Mathieu Jaume

François Pessaux

François Pessaux

Veronique Viguie Donzeau-Gouge

Veronique Viguie Donzeau-Gouge

About the Author

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.

Franois Pessaux is Associate Professor in the Computer Science and Systems Engineering Unit (U2IS) of ENSTA Paris, France.

Veronique Viguie Donzeau-Gouge is Professor Emeritus at the Centre d'tudes et de recherche en informatique (CEDRIC) of the Conservatoire national des arts et mtiers (Cnam Paris), France.

--This text refers to the hardcover edition.

Similar Books

JMP for Mixed Models

JMP for Mixed Models

Ruth Hummel

Software Development

Android Studio Chipmunk Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.2.1 and Java

Android Studio Chipmunk Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.2.1 and Java

Neil Smyth

Android Studio Bumble Bee Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.1 and Java

Android Studio Bumble Bee Essentials - Java Edition: Developing Android Apps Using Android Studio 2021.1 and Java

Neil Smyth

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors

Venkat Subramaniam

Software Development

Building Applications with IBM Rational Application Developer and JavaBeans

Building Applications with IBM Rational Application Developer and JavaBeans

Colette Burrus

Software Development

Android Programming In Java: Starting with an App

Android Programming In Java: Starting with an App

Mike James

Learning Jupyter 5: Explore interactive computing using Python, Java, JavaScript, R, Julia, and JupyterLab, 2nd Edition

Learning Jupyter 5: Explore interactive computing using Python, Java, JavaScript, R, Julia, and JupyterLab, 2nd Edition

Dan Toomey

Software Architecture with Spring 5.0: Design and architect highly scalable, robust, and high-performance Java applications

Software Architecture with Spring 5.0: Design and architect highly scalable, robust, and high-performance Java applications

Alberto Salazar

Hands-On Cloud-Native Microservices with Jakarta EE: Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift

Hands-On Cloud-Native Microservices with Jakarta EE: Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift

Luigi Fugaro

Building RESTful Web Services with Spring 5 - Second Edition: Leverage the power of Spring 5.0, Java SE 9, and Spring Boot 2.0

Building RESTful Web Services with Spring 5 - Second Edition: Leverage the power of Spring 5.0, Java SE 9, and Spring Boot 2.0

Raja CSP Raman

RESTful Java Web Services: A pragmatic guide to designing and building RESTful APIs using Java, 3rd Edition

RESTful Java Web Services: A pragmatic guide to designing and building RESTful APIs using Java, 3rd Edition

Bogunuva Mohanram Balachandar

Mastering Software Testing with JUnit 5: Comprehensive guide to develop high quality Java applications

Mastering Software Testing with JUnit 5: Comprehensive guide to develop high quality Java applications

Boni Garcia

Software Testing

Embedded System Design with ARM Cortex-M Microcontrollers: Applications with C, C++ and MicroPython

Embedded System Design with ARM Cortex-M Microcontrollers: Applications with C, C++ and MicroPython

Cem Unsalan

C++ Programming in easy steps, 6th edition

C++ Programming in easy steps, 6th edition

Mike McGrath

The C++ Workshop: Learn to write clean, maintainable code in C++ and advance your career in software engineering

The C++ Workshop: Learn to write clean, maintainable code in C++ and advance your career in software engineering

Dale Green

Software Engineering

C++ Data Structures and Algorithm Design Principles: Leverage the power of modern C++ to build robust and scalable applications

C++ Data Structures and Algorithm Design Principles: Leverage the power of modern C++ to build robust and scalable applications

Payas Rajan

Hands-On Game Development with WebAssembly: Learn WebAssembly C++ programming by building a retro space game

Hands-On Game Development with WebAssembly: Learn WebAssembly C++ programming by building a retro space game

Rick Battagline

Software Engineering

C++20 STL Cookbook: Leverage the latest features of the STL to solve real-world problems

C++20 STL Cookbook: Leverage the latest features of the STL to solve real-world problems

Bill Weinman

C++ Game Development By Example: Learn to build games and graphics with SFML, OpenGL, and Vulkan using C++ programming

C++ Game Development By Example: Learn to build games and graphics with SFML, OpenGL, and Vulkan using C++ programming

Siddharth Shekar

Hands-On Robotics Programming with C++: Leverage Raspberry Pi 3 and C++ libraries to build intelligent robotics applications

Hands-On Robotics Programming with C++: Leverage Raspberry Pi 3 and C++ libraries to build intelligent robotics applications

Dinesh Tavasalkar

The Modern C++ Challenge: Become an expert programmer by solving real-world problems

The Modern C++ Challenge: Become an expert programmer by solving real-world problems

Marius Bancila

Hands-On GUI Programming with C++ and Qt5: Build stunning cross-platform applications and widgets with the most powerful GUI framework

Hands-On GUI Programming with C++ and Qt5: Build stunning cross-platform applications and widgets with the most powerful GUI framework

Lee Zhi Eng

Software Development

C++ Software Interoperability for Windows Programmers: Connecting to C#, R, and Python Clients

C++ Software Interoperability for Windows Programmers: Connecting to C#, R, and Python Clients

Adam Gladstone

Modern Parallel Programming with C++ and Assembly Language: X86 SIMD Development Using AVX, AVX2, and AVX-512

Modern Parallel Programming with C++ and Assembly Language: X86 SIMD Development Using AVX, AVX2, and AVX-512

Daniel Kusswurm

Other Authors' Books

Other Publishing Books

The Art and Science of NFC Programming (Information Systems, Web and Pervasive Computing Series: Intellectual Technologies Set Book 3)

The Art and Science of NFC Programming (Information Systems, Web and Pervasive Computing Series: Intellectual Technologies Set Book 3)

Anne-Marie Lesas

Software Development

Matrix and Tensor Decompositions in Signal Processing, Volume 2

Matrix and Tensor Decompositions in Signal Processing, Volume 2

Gérard Favier

Entrepreneurship and Development: Realities and Future Prospects

Entrepreneurship and Development: Realities and Future Prospects

Sonia Ben Slimane

Entrepreneurship Fundamentals

Digital Communications 2: Directed and Practical Work

Digital Communications 2: Directed and Practical Work

Safwan El Assad

Business Communication

Microprocessor 3: Core Concepts - Hardware Aspects

Microprocessor 3: Core Concepts - Hardware Aspects

Philippe Darche

Build a Computer

Tools, Languages, Methodologies for Representing Semantics on the Web of Things

Tools, Languages, Methodologies for Representing Semantics on the Web of Things

Ameur Salem Zaidoun

Internet Of Things

Data Analysis and Related Applications, Volume 1: Computational, Algorithmic and Applied Economic Data Analysis

Data Analysis and Related Applications, Volume 1: Computational, Algorithmic and Applied Economic Data Analysis

Sanju Tiwari

Security in Vehicular Networks: Focus on Location and Identity Privacy

Security in Vehicular Networks: Focus on Location and Identity Privacy

Leila Benarous

Network Security

From Sequences to Graphs: Discrete Methods and Structures for Bioinformatics

From Sequences to Graphs: Discrete Methods and Structures for Bioinformatics

Annie Chateau

Face Analysis Under Uncontrolled Conditions: From Face Detection to Expression Recognition

Face Analysis Under Uncontrolled Conditions: From Face Detection to Expression Recognition

Romain Belmonte

Machine Learning

Autonomic Networks

Autonomic Networks

Dominique Gaïti

Network Engineering

User Reviews

Log in first to post a comment

Rating

0

0

0

0

0

average 0

Total votes0