My Wish Lists Login / Join

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

By: Yves Bertot (Editor), GÃ©rard Huet (Editor), Jean-Jacques LÃ©vy (Editor), Gordon Plotkin (Editor)

Write A Review

Hardcover | 24 September 2009

At a Glance

Hardcover
596 Pages

Dimensions(cm)
24.41 x 16.99 x 3.33

Hardcover

RRP $223.95

$196.75

12%OFF

or 4 interest-free payments of $49.19 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Programming & Software Development Programming & Scripting Languages

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.

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

AI Snake Oil

What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference

Empire of AI

Inside the reckless race for total domination

The Challenge of the Future

What Should We Keep from Yesterday as We Rush Into Tomorrow?

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Training & Development with AI For Dummies

For Dummies (Business & Personal Finance)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Agentic Mesh

The Genai-Powered Autonomous Agent Ecosystem

Architecture, Media, Archives

The Fun Palace of Joan Littlewood and Cedric Price as a Cultural Project

Advances and Applications of Machine Learning in Fluid Flow Problems

Advances in Digital Technologies for Smart Applications

AI ChatBots For Dummies

For Dummies (Computer/Tech)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Artificial Intelligence-Powered Electrical Machine Design

Optimization, Control, and Innovation

Handbook of Digitalization and Big Data in the Water Sector

Emerging Opportunities and Challenges in Net Zero Emissions (Volume 2)

Cognition-based Smart Computing

Foundations, Frameworks, and Applications

Healthcare Cybersecurity, Privacy, and Data Protection

Present and Future

Discrete Mathematics for Data Science

This product is categorised by