Symposium on Semantics of Algorithmic Languages
- PDF / 21,086,437 Bytes
- 378 Pages / 504 x 720 pts Page_size
- 58 Downloads / 228 Views
188
Symposium on Semantics of Algorithmic Languages
Edited by E. Engeler, University of Minnesota
Springer-Verlag Berlin· Heidelberg· NewYork 1971
AMS Subject Classifications (1970): OZE1O, 02F43, 68A05, 68A 10, 68A30
ISBN 3-540-05377-8 Springer-Verlag Berlin . Heidelberg . New York ISBN 0-387-05377-8 Springer-Verlag New York . Heidelberg . Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. © by Springer-Verlag Berlin' Heidelberg 1971. Library of Congress Catalog Card Number 78-151406. Printed in Germany. Offsetdruck: Julius Beltz, Weinheim/Bergstr.
PREFACE
During the last few years, a number of interesting results and promising ideas have been generated in the area of semantical aspects of programming languages.
We
felt that we would do a real service to this emerging field by calling a write-in symposium and collecting a number of representative contributions covering the various aspec ts , We are happy to present here the resul ts of this endeavor in the form of Lecture Notes.
It is understood that many of the contributions represent work in progress
and that some may appear elsewhere in final form.
We take this opportunity to thank
the contributors and Springer Verlag for their exceptionally prompt collaboration. Minneapolis, October 1970 Erwin Engeler P.S.
The papers are arranged alphabetically according to authors, a joint biblio-
graphy is located at the end of the volume.
TABLE OF CONTENTS Axiom Systems for Simple Assignment Statements • • . . • . • . . . . . . . . . . Dr. J. W. de Bakker Mathematisch Centrum 2 e Boerhaavestraat 49 Amsterdam (0), Netherlands
1
. ...•.............•.••
23
Formalization of Properties • . . • . • • • • • • . . . . . . • • . . . . Drs. H. Bekic and K. Walk IBM Laboratory Vienna Parkring 10 1010 Wien, Austria
28
Program Schemes, Programs and Logic. . . . • . . . . . . . . . • . . . • . . . • Prof. D. C. Cooper Department of Computer Science University College of Swansea Singleton Park, Swansea SA2 8PP Glamorgan, Wales, U. K.
62
Algebraic Theories and Program Schemes . . . • . . . . . . • . . . • . . Dr. C. C. Elgo t IBM Thomas B. Watson Research Center P. O. Box 218 Yorktown Heights, New York 10598 U.S.A.
71
Structure and Meaning of Elementary Programs Prof. E. Engeler School of University of Minnesota Minneapolis, Minnesota 55455 U.S.A.
89
A Property of Linear Conditionals. Dr. J. W. de Bakker
Procedures and Parameters: An Axiomatic Approach • . . . . . . . . . . . . . . . 102 Prof. C. A. R. Hoare Department of Computer Science The Queen's University of Belfast Belfast BT7 lNN, Northern Ireland, U. K. Semantics of ALGOL
