Proof, Language, and Interaction

Essays in Honour of Robin Milner

Gordon Plotkin, Colin P. Stirling, Mads Tofte (Herausgeber)

Buch | Hardcover

736 Seiten

2000
MIT Press (Verlag)
978-0-262-16188-6 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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, Gerard Berry, Lars Birkedal, Gerard 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, Gerard 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 Saibi, 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.

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

Reihe/Serie	Foundations of Computing
Verlagsort	Cambridge, Mass.
Sprache	englisch
Maße	185 x 226 mm
Gewicht	1315 g
Themenwelt	Mathematik / Informatik ► Informatik
ISBN-10	0-262-16188-5 / 0262161885
ISBN-13	978-0-262-16188-6 / 9780262161886
Zustand	Neuware