UID:
almafu_9960119123302883
Format:
1 online resource (xix, 574 pages) :
,
digital, PDF file(s).
ISBN:
1-107-19158-0
,
1-282-65156-0
,
9786612651564
,
0-511-76887-7
,
0-511-76664-5
,
0-511-76971-7
,
0-511-76525-8
,
0-511-77052-9
,
0-511-76803-6
Content:
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.
Note:
Title from publisher's bibliographic system (viewed on 05 Oct 2015).
,
Cover; Half-title; Title; Copyright; Contents; List of contributors; Preface; 1 Determinacy in a synchronous p-calculus; 2 Classical coordination mechanisms in the chemical model; 3 Sequential algorithms as bistable maps; 4 The semantics of dataflow with firing; 5 Kahn networks at the dawn of functional programming; 6 A simple type-theoretic language: Mini-TT; 7 Program semantics and infinite regular terms; 8 Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations; 9 Generalized .nite developments; 10 Semantics of program representation graphs
,
11 From Centaur to the Meta-Environment: a tribute to a great meta-technologist12 Towards a theory of document structure; 13 Grammars as software libraries; 14 The Leordo computation system; 15 Theorem-proving support in programming language semantics; 16 Nominal veri.cation of algorithm W; 17 A constructive denotational semantics for Kahn networks in Coq; 18 Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images; 19 Proxy caching in split TCP: dynamics, stability and tail asymptotics; 20 Two-by-two static, evolutionary, and dynamic games
,
21 Reversal strategies for adjoint algorithms22 Reflections on INRIA and the role of Gilles Kahn; 23 Can a systems biologist fix a Tamagotchi?; 24 Computational science: a new frontier for computing; 25 The descendants of Centaur: a personal view on Gilles Kahn's work; 26 The tower of informatic models
,
English
Additional Edition:
ISBN 0-521-51825-3
Language:
English
URL:
https://doi.org/10.1017/CBO9780511770524
URL:
https://doi.org/10.1017/CBO9780511770524
Bookmarklink