Skip to content
Register Sign in Wishlist

From Semantics to Computer Science
Essays in Honour of Gilles Kahn

$152.00 (C)

  • Editors:
  • Yves Bertot, INRIA-Sophia Antipolis, France
  • Gérard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
  • Jean-Jacques Lévy, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
  • Gordon Plotkin, University of Edinburgh
Roberto Amadio, Mehdi Dogguy, Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac, Pierre-Louis Curien, Edward A. Lee, Eleftherios Matsikoudis, David B. MacQueen, Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, Makoto Takeyama, Bruno Courcelle, Gilles Kahn, Jean Vuillemin, Jean-Jacques Lévy, G. Ramalingam, Thomas Reps, Paul Klint, Aarne Ranta, Erik Sandewall, Yves Bertot, Christian Urban, Tobias Nipkow, Christine Paulin-Mohring, Nicholas Ayache, Olivier Clatz, Hervé Delingette, Grégoire Malandain, Xavier Pennec, Maxime Sermesant, François Baccelli, Giovanna Carofiglio, Serguei Foss, Pierre Bernhard, Frédéric Hamelin, Laurent Hascoët, Alain Bensoussan, Luca Cardelli, Andrew Herbert, Emmanuel Ledinot, Robin Milner
View all contributors
  • Date Published: October 2009
  • availability: In stock
  • format: Hardback
  • isbn: 9780521518253

$ 152.00 (C)
Hardback

Add to cart Add to wishlist

Other available formats:
eBook


Looking for an examination copy?

If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.

Description
Product filter button
Description
Contents
Resources
Courses
About the Authors
  • 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.

    • Consists of 26 essays, each written by leading researchers in their field
    • Topics addressed range from semantics, to medical imaging, to bio-informatics, and beyond
    • Combines more traditional topics with advanced and contemporary research in computer science
    Read more

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity

    ×

    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?

    ×

    Product details

    • Date Published: October 2009
    • format: Hardback
    • isbn: 9780521518253
    • length: 594 pages
    • dimensions: 254 x 180 x 30 mm
    • weight: 1.32kg
    • contains: 7 b/w illus. 4 tables
    • availability: In stock
  • Table of Contents

    Preface
    List of contributors
    1. Determinacy in a synchronous π-calculus Roberto Amadio and Mehdi Dogguy
    2. Classical coordination mechanisms in the chemical model Jean-Pierre Banâtre, Pascal Fradet and Yann Radenac
    3. Sequential algorithms as bistable maps Pierre-Louis Curien
    4. The semantics of dataflow with firing Edward A. Lee and Eleftherios Matsikoudis
    5. Kahn networks at the dawn of functional programming David B. MacQueen
    6. A simple type-theoretic language: mini-TT Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, and Makoto Takeyama
    7. Program semantics and infinite regular terms Bruno Courcelle
    8. Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations Bruno Courcelle, Gilles Kahn, and Jean Vuillemin
    9. Generalized finite developments Jean-Jacques Lévy
    10. Semantics of program representation graphs G. Ramalingam and Thomas Reps
    11. Tribute to a great meta-technologist - from centaur to the meta-environment Paul Klint
    12. Towards a theory of document structure Bengt Nordström
    13. Grammars as software libraries Aarne Ranta
    14. The Leordo computation system Erik Sandewall
    15. Theorem proving support in programming language semantics Yves Bertot
    16. Nominal verification of algorithm W Christian Urban and Tobias Nipkow
    17. A constructive denotational semantics for Kahn networks in Coq Christine Paulin-Mohring
    18. Asclepios: a research project-team at INRIA for the analysis and simulation of biomedical images Nicholas Ayache, Olivier Clatz, Hervé Delingette, Grégoire Malandain, Xavier Pennec and Maxime Sermesant
    19. Proxy caching in split TCP: dynamics, stability and tail asymptotics François Baccelli, Giovanna Carofiglio, and Serguei Foss
    20. Two-by-two static, evolutionary, and dynamic games Pierre Bernhard and Frédéric Hamelin
    21. Reversal strategies for adjoint algorithms Laurent Hascoët
    22. Reflections on INRIA and the role of Gilles Kahn Alain Bensoussan
    23. Can a systems biologist fix a tamagotchi? Luca Cardelli
    24. Computational science: a new frontier for computing Andrew Herbert
    25. The descendants of centaur: a personal view on Gilles Kahn's work Emmanuel Ledinot
    26. The tower of informatic models Robin Milner.

  • Editors

    Yves Bertot, INRIA-Sophia Antipolis, France
    Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004).

    Gérard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
    Gérard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

    Jean-Jacques Lévy, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
    Jean-Jacques Lévy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

    Gordon Plotkin, University of Edinburgh
    Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.

    Contributors

    Roberto Amadio, Mehdi Dogguy, Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac, Pierre-Louis Curien, Edward A. Lee, Eleftherios Matsikoudis, David B. MacQueen, Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, Makoto Takeyama, Bruno Courcelle, Gilles Kahn, Jean Vuillemin, Jean-Jacques Lévy, G. Ramalingam, Thomas Reps, Paul Klint, Aarne Ranta, Erik Sandewall, Yves Bertot, Christian Urban, Tobias Nipkow, Christine Paulin-Mohring, Nicholas Ayache, Olivier Clatz, Hervé Delingette, Grégoire Malandain, Xavier Pennec, Maxime Sermesant, François Baccelli, Giovanna Carofiglio, Serguei Foss, Pierre Bernhard, Frédéric Hamelin, Laurent Hascoët, Alain Bensoussan, Luca Cardelli, Andrew Herbert, Emmanuel Ledinot, Robin Milner

Sign In

Please sign in to access your account

Cancel

Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email lecturers@cambridge.org

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×