Foundations
of
Computing
Michael
Garey
and
Albert
Meyer,
editors
Complexity Issues
in
VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other
Networks,
Frank
Thomson
Leighton, 1983
Equational Logic
as
a Programming Language, Michael
J.
0 'Donnell, 1985
General Theory
of
Deductive Systems and Its Applications,
S.
Yu Maslov, 1987
Resource Allocation Problems: Algorithmic Approaches, Toshihide
Ibaraki
and
Naoki
Katoh,
1988
Algebraic Theory
of
Processes,
Matthew
Hennessy, 1988
PX:
A Computational Logic, Susumu Hayashi
and
Hiroshi Nakano, 1989
The Stable Marriage Problem: Structure and Algorithms,
Dan
Gusfield
and
Robert
Irving, 1989
Realistic Compiler Generation,
Peter
Lee, 1989
Single-Layer Wire Routing and Compaction,F. Miller Maley, 1990
Basic Category Theory for Computer Scientists, Benjamin C. Pierce, 1991
Categories, Types, and Structures:
An
Introduction to Category Theory for the Working
Computer Scientist,
Andrea
Asperti
and
Giuseppe Longo, 1991
Semantics
of
Programming Languages: Structures and Techniques, Carl
A.
Gunter,
1992
The Formal Semantics
of
Programming Languages:
An
Introduction, Glynn Winskel,
1993
The
Formal
Semantics
of
Programming
Languages
An
Introduction
Glynn Winskel
The
MIT
Press
Cambridge, Massachusetts
London,
England
Second
printing,
1994
©1993
Massachusetts
Institute
of Technology
All rights reserved. No
part
ofthis
book may
be
reproduced in
any
form by any electronic
or
mechanical means (including photocopying, recording,
or
information storage
and
retrieval)
without
permission in writing from
the
publisher.
This
book was
printed
and
bound
in
the
United
States
of America.
Library of Congress Cataloging-in-Publication
Data
Winskel,
G.
(Glynn)
The
formal
semantics
of
programming
languages
:
an
introduction
Glynn
Winskel.
p.
cm.
-
(Foundations
of
computing)
Includes
bibliographical
references
and
index.
ISBN
0-262-23169-7
1.
Programming
languages
(Electronic
computers
)-Semantics.
1.
Title.
II.
Series.
QA76.7.W555
1993
005.13'1--dc20
92-36718
CIP