From Semantics to Computer Science: Essays in Honour of Gilles Kahn

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

by Yves Bertot
     
 

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.See more details below

Overview

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.

Product Details

ISBN-13:
9780521518253
Publisher:
Cambridge University Press
Publication date:
11/30/2009
Pages:
594
Product dimensions:
6.85(w) x 9.72(h) x 1.18(d)

Table of Contents

Preface; List of contributors; 1. Determinacy in a synchronous π-calculus Roberto Amadio and Mehdi Dogguy; 2. Classical coordination mechanisms in the chemical model Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac; 3. Sequential algorithms as bistable maps Pierre-Louis Curien; 4. The semantics of dataflow with firing Edward A. Lee and Eleftherios Matsikoudis; 5. Kahn networks at the dawn of functional programming David B. MacQueen; 6. A simple type-theoretic language: mini-TT Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, and Makoto Takeyama; 7. Program semantics and infinite regular terms Bruno Courcelle; 8. Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations Bruno Courcelle, Gilles Kahn, and Jean Vuillemin; 9. Generalized finite developments Jean-Jacques Lévy; 10. Semantics of program representation graphs G. Ramalingam and Thomas Reps; 11. Tribute to a great meta-technologist - from centaur to the meta-environment Paul Klint; 12. Towards a theory of document structure Bengt Nordström; 13. Grammars as software libraries Aarne Ranta; 14. The Leordo computation system Erik Sandewall; 15. Theorem proving support in programming language semantics Yves Bertot; 16. Nominal verification of algorithm W Christian Urban and Tobias Nipkow; 17. A constructive denotational semantics for Kahn networks in Coq Christine Paulin-Mohring; 18. Asclepios: a research project-team at INRIA for the analysis and simulation of biomedical images Nicholas Ayache, Olivier Clatz, Hervé Delingette, Grégoire Malandain, Xavier Pennec and Maxime Sermesant; 19. Proxy caching in split TCP: dynamics, stability and tail asymptotics François Baccelli, Giovanna Carofiglio, and Serguei Foss; 20. Two-by-two static, evolutionary, and dynamic games Pierre Bernhard and Frédéric Hamelin; 21. Reversal strategies for adjoint algorithms Laurent Hascoët; 22. Reflections on INRIA and the role of Gilles Kahn Alain Bensoussan; 23. Can a systems biologist fix a tamagotchi? Luca Cardelli; 24. Computational science: a new frontier for computing Andrew Herbert; 25. The descendants of centaur: a personal view on Gilles Kahn's work Emmanuel Ledinot; 26. The tower of informatic models Robin Milner.

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >