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

by Edited by Yves Bertot , Gérard Huet , Jean-Jacques Lévy , Gordon Plotkin

• ISBN13: 9780521518253
• ISBN10: 0521518253
• Edition: 1st
• Format: Hardcover
• Copyright: 2009-10-30
• Publisher: Cambridge University Press

Summary

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 editors 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.

Author Biography

Yves Bertot is a Senior Researcher at the Institut National de Recherche en Informatique et Automatique (INRIA), Sophia Antipolis, France. Grard Huet is a Senior Researcher at the Institut National de Recherche en informatique et Automatique (INRIA), Rocquencourt, France, a member of the French Acadmie des Sciences, and a member of Academia Europaea. Jean-Jacques Lvy is a Senior Researcher at the Institut National de Recherche en Informatique et Automatique (INRIA), Rocquencourt, France, a Professor in the Department of Computer Science at cole polytechnique, Palaiseau. Gordon Plotkin is a Professor in the School of Informatics at The University of Edinburgh, a fellow of the Royal Society, a fellow of the Royal Society of Edinburgh, and a member of Academia Europaea.

Table of Contents

List of contributors	p. ix
Preface	p. xiii
Determinacy in a synchronous ¿-calculus	p. 1
Classical coordination mechanisms in the chemical model	p. 29
Sequential algorithms as bistable maps	p. 51
The semantics of dataflow with firing	p. 71
Kahn networks at the dawn of functional programming	p. 95
A simple type-theoretic language: Mini-TT	p. 139
Program semantics and infinite regular terms	p. 165
Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations	p. 169
Generalized finite developments	p. 185
Semantics of program representation graphs	p. 205
From Centaur to the Meta-Environment: a tribute to a great meta-technologist	p. 235
Towards a theory of document structure	p. 265
Grammars as software libraries	p. 281
The Leordo computation system	p. 309
Theorem-proving support in programming language semantics	p. 337
Nominal verification of algorithm W	p. 363
A constructive denotational semantics for Kahn networks in Coq	p. 383
Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images	p. 415
Proxy caching in split TCP: dynamics, stability and tail asymptotics	p. 437
Two-by-two static, evolutionary, and dynamic games	p. 465
Reversal strategies for adjoint algorithms	p. 489
Reflections on INRIA and the role of Gilles Kahn	p. 507
Can a systems biologist fix a Tamagotchi?	p. 517
Computational science: a new frontier for computing	p. 529
The descendants of Centaur: a personal view on Gilles Kahn's work	p. 547
The tower of informatic models	p. 561
Table of Contents provided by Ingram. All Rights Reserved.