Call-By-Push-Value A Functional/Imperative Synthesis
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value struct
- PDF / 26,900,759 Bytes
- 380 Pages / 453.54 x 680.31 pts Page_size
- 33 Downloads / 200 Views
Semantic Structures in Computation Volume 2 Title of the Series: Semantic Structures in Computation Series Editor in Chief Guo-Qiang Zhang Case Western Reserve University Department of Electrical Engineering and Computer Science Olin 610, 10900 Euclid Avenue, Cleveland, OH 44106, USA E-mail : [email protected] .edu Scope of the Series With the idea of partial information and approximation as the starting point, this bookseries focuses on the interplay among computer science, logic, and mathematics through algebraic, order-theoretic, topological, and categorical means , with the goal of promoting cross-fertilization of ideas and advancing interdisciplinary research . This bookseries provides a distinctive publication forum for collected works and monographs on topics such as domain theory, programming semantics, types , concurrency, lambda calculi, topology and logic in computer science, and especially applications in non-traditional and emerging areas in which the development of formal semantics deepens our understanding of a computational phenomenon.
Editorial Board Samson Abramsky, Oxford University, UK Stephen Brookes, Carnegie Mellon University, Pittsburg, PA, USA Edmund Clarke, Carnegie Mellon University, Pittsburg, PA, USA Thierry Coquand, University of Goteborg, Sweden Pierre-Louis Curien, PPS, CNRS-Universite Paris 7, France Manfred Droste, TU Dresden, Germany Abbas Edalat, Imperial College, London, UK Achim Jung , University of Birmingham, UK Klaus Keimel, TU Darmstadt, Germany Ying-Ming Liu, Sichuan University, P.R. China Michael Mislovc, Tulane University, New Orleans, LA, USA Peter O'Hearn, Queen Mary & Westfield College, London, UK William Rounds, University of Michigan , Ann Arbor, MI, USA Jan Rutten , CWI, Amsterdam, The Netherlands Glynn Winskel, University of Cambridge , UK
CALL-BY-PUSH-VALUE A FunctionallImperative Synthesis
by
Paul Blain Levy School of Computer Science, University of Birmingham
SPRINGER SCIENCE+BUSINESS MEDIA, B.V.
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-94-010-3752-5 ISBN 978-94-007-0954-6 (eBook) DOI 10.1007/978-94-007-0954-6
Printed an acid-freepaper
All Rights Reserved © 2003 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2003 Softcover reprint ofthe hardcover lst edition 2003 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
Contents
List of Fi gures Preface Acknowledgments Introduction 1.1 1.2
1.3 I.4
1.5
1.6
XVll XXI
xxv XXVll
Computa t ional Effects Recon ciling CBN and CBV 1.2.1 The Problem Of Two Paradigms 1.2.2 A Single Language 1.2.3 "Hasn 't T his Been Done By . . . ?" The Case For Ca ll-By-P ush-V
