Reflections on the Work of C.A.R. Hoare
Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is "the highest goal of programming-language design to enable good ideas to be elegantly expressed"
- PDF / 4,341,688 Bytes
- 435 Pages / 439 x 666 pts Page_size
- 30 Downloads / 232 Views
Cliff B. Jones
A.W. Roscoe
Kenneth R. Wood
Editors
Reflections on the Work of C.A.R. Hoare
123
Editors Cliff B. Jones School of Computing Science Newcastle University Newcastle NE1 7RU United Kingdom [email protected]
Kenneth R. Wood Microsoft Research Ltd. 7 JJ Thomson Avenue Cambridge CB3 0FB United Kingdom [email protected]
A.W. Roscoe Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom [email protected]
ISBN 978-1-84882-911-4 e-ISBN 978-1-84882-912-1 DOI 10.1007/978-1-84882-912-1 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2010932767 c Springer-Verlag London Limited 2010 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. Product liability: The publisher can give no guarantee for information about drug dosage and application thereof contained in this book. In every individual case the respective user must check its accuracy by consulting other pharmaceutical literature. Cover design: SPi Publisher Services Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Endorsements
“There is much to celebrate in Tony Hoare’s ideas and personal influence in the theory of programming, which has benefitted several generations of computer scientists. This volume collects papers from a network of collaborators, rivals and disciples on contemporary topics to which Hoare has provided insight and direction.” Swansea University, UK
John Tucker
v
Sir Tony and Lady Jill Hoare
Preface
This volume has its origins in a meeting held at Microsoft Research, Cambridge, in April 2009 to celebrate Tony Hoare’s 75th Birthday (actually 11 Jan 2009). All the technical papers except for those written by Abramsky, Jackson, Jones and Meyer are based – sometimes closely, sometimes not – on presentations given at that meeting. The idea for the meeting arose in conversations between ourselves and Andrew Herbert of Microsoft, who hosted a truly memorable and happy event. The meeting was organised by ourselves and Ken Wood, with the financial support of Microsoft Research and Formal Systems (Europe) Ltd, and held over two days. We would like to record particular thanks to
Data Loading...
