Formal Syntax

and
Semantics of
Programming Languages
A Laboratory Based Approach

Kenneth Slonneger
University of Iowa
Barry L. Kurtz
Louisiana Tech University

Addison-Wesley Publishing Company

Reading, Massachusetts Menlo Park, California New York Don Mills, Ontario
Wokingham, England Amsterdam Bonn

Sydney Singapore

Tokyo Madrid San Juan Milan Paris

Senior Acquisitions Editor: Tom Stone

Assistant Editor: Kathleen Billus
Production Coordinator: Marybeth Mooney
Cover Designer: Diana C. Coe
Manufacturing Coordinator: Evelyn Beaton
The procedures and applications presented in this book have been included
for their instructional value. They have been tested with care but are not
guaranteed for any particular purpose. The publisher does not offer any warranties or representations, nor does it accept any liabilities with respect to
the programs or applications.

Library of Congr ess Cataloging-in-Publication Data

Slonneger, Kenneth.
Formal syntax and semantics of programming languages: a laboratory
based approach / Kenneth Slonneger, Barry L. Kurtz.
p.cm.
Includes bibliographical references and index.
ISBN 0-201-65697-3
1.Pr ogramming languages (Electronic computers)--Syntax.
2.Pr ogramming languages (Electronic computers)--Semantics.
I. Kurtz, Barry L. II. Title.
QA76.7.S59 1995
005.13'1--dc20
94-4203
CIP

Reproduced by Addison-Wesley from camera-ready copy supplied by the

authors.
Copyright 1995 by Addison-Wesley Publishing Company, Inc.
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, electronic,
mechanical, photocopying, recording, or otherwise, without the prior written
permission of the publisher. Printed in the United States of America.
ISBN 0-201-65697-3
1234 5 6 7 8 9 10-MA-979695

Dedications
To my father, Robert
Barry L. Kurtz

To Marybeth and my family

Ken Slonneger