FREE SHIPPING BOTH WAYS
ON EVERY ORDER!
LIST PRICE:
$167.00

Sorry, this item is currently unavailable.

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

ISBN: 9780521518253 | 0521518253
Edition: 1st
Format: Hardcover
Publisher: Cambridge University Press
Pub. Date: 10/30/2009

Why Rent from Knetbooks?

Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!

Top 5 reasons to order all your textbooks from Knetbooks:

  • We have the lowest prices on thousands of popular textbooks
  • Free shipping both ways on ALL orders
  • Most orders ship within 48 hours
  • Need your book longer than expected? Extending your rental is simple
  • Our customer support team is always here to help
SummaryTable of ContentsAuthor Biography
This volume of articles by leading computer scientists emphasises the achievements of Gilles Kahn, and examines the significance of his contributions to computer science. The authors also reflect upon the future development of information technology and the ways in which it will continue to affect other scientific disciplines.
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 ... MORE
... MORE
List of contributorsp. ix
Prefacep. xiii
Determinacy in a synchronous ¿-calculusp. 1
Classical coordination mechanisms in the chemical modelp. 29
Sequential algorithms as bistable mapsp. 51
The semantics of dataflow with firingp. 71
Kahn networks at the dawn of functional programmingp. 95
A simple type-theoretic language: Mini-TTp. 139
Program semantics and infinite regular termsp. 165
Algorithms for equivalence and reduction to minimal form for a class of simple recursive equationsp. 169
Generalized finite developmentsp. 185
Semantics of program representation graphsp. 205
From Centaur to the Meta-Environment: a tribute to a great meta-technologistp. 235
Towards a theory of document structurep. 265
Grammars as software librariesp. 281
The Leordo computation systemp. 309
Theorem-proving support in programming language semanticsp. 337
Nominal verification of algorithm Wp. 363
A constructive denotational semantics for Kahn networks in Coqp. 383
Asclepios: a research project team at INRIA for the analysis and simulation of biomedical imagesp. 415
Proxy caching in split TCP: dynamics, stability and tail asymptoticsp. 437
Two-by-two static, evolutionary, and dynamic gamesp. 465
Reversal strategies for adjoint algorithmsp. 489
Reflections on INRIA and the role of Gilles Kahnp. 507
Can a systems biologist fix a Tamagotchi?p. 517
Computational science: a new frontier for computingp. 529
The descendants of Centaur: a personal view on Gilles Kahn's workp. 547
The tower of informatic modelsp. 561
Table of Contents provided by Ingram. All Rights Reserved.
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.


Please wait while this item is added to your cart...