From Semantics to Computer Science: Essays in

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.

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.

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.

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

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

Summary

Author Biography

Table of Contents

Supplemental Materials