From Semantics to Computer Science (eBook, PDF)

Essays in Honour of Gilles Kahn
Redaktion: Bertot, Yves

• Format: PDF

Produktbeschreibung

Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 24. September 2009
• Englisch
• ISBN-13: 9780511763564
• Artikelnr.: 38197256

Inhaltsangabe

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.