Author: Luca Cardelli

Support
  Denis Caromel is full professor at University of Nice-Sophia Antipolis (UNSA). He is also member of the Institut Universitaire de France (IUF), a multi-disciplinary national academia that selects a few professors based on the excellence of their research records. His research interests include parallel, concurrent, and distributed object-oriented programming, the semantics of sequential and parallel languages for the sake of automatic and semi-automatic parallelization. Ludovic Henrio graduated from Ecole Polytechnique in Paris. He is currently a PHD candidate at University of Nice Sophia Antipolis — CNRS — INRIA. His research interests include semantics for concurrent, parallel and distributed calculi, static analysis, design and implementation of object-oriented languages.




6 Ebooks by Luca Cardelli

Denis Caromel & Ludovic Henrio: A Theory of Distributed Objects
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no g …
PDF
English
€96.29
Martin Abadi & Luca Cardelli: Theory of Objects
Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. …
PDF
English
DRM
€256.48
Henri E. Bal & Boumediened Belkhouche: Internet Programming Languages
This book is a collection of articles about the influence that the recent greater scope and availability of wide area networks is having on the semantics, design, and implementa tion of programming l …
PDF
English
DRM
€57.82
Luca Cardelli & William Shih: DNA Computing and Molecular Programming
This book constitutes the refereed proceedings of the 17th International Conference on DNA Computing and Molecular Programming, DNA17, held in Pasadena, CA, USA, in September 2011. The 12 revised ful …
PDF
English
DRM
€57.85