Proof, Language, and Interaction: Essays in Honour of Robin Milner - Couverture rigide

 
9780262161886: Proof, Language, and Interaction: Essays in Honour of Robin Milner
Couverture rigide
ISBN 10 : 0262161885 ISBN 13 : 9780262161886
Editeur : The MIT Press, 2000

Synopsis

This collection of original essays reflects the breadth of current research in computer science.

This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages. Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.

Contributors
Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
The MIT Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0262161885
ISBN 13 
9780262161886
Reliure
Relié
Nombre de pages
736
Éditeur
Plotkin Gordon, Stirling Colin P., Tofte Mads
Coordonnées du fabricant
non disponible
Personne responsable
non disponible