michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed some wording

Browse source
This commit is contained in:
wadler 2019-07-15 12:45:19 +01:00
parent 3fbe431387
commit c57e466c7c
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
papers/scp/PLFA.tex
View file

@ -141,10 +141,8 @@ infrastructure for the book that we found easy to use and produces
pages that are a pleasure to view. The bulk of the first draft of the pages that are a pleasure to view. The bulk of the first draft of the
book was written January--June 2018, while Philip was on sabbatical in book was written January--June 2018, while Philip was on sabbatical in
Rio de Janeiro. After the first draft was published, Jeremy wrote Rio de Janeiro. After the first draft was published, Jeremy wrote
two further parts. One explains a new and simple approach eight additional chapters, covering aspects of operational and
to denotational semantics, developed as part of his research. The denotational semantics.
other develops important precursors to the semantics, including
confluence and big-step semantics.
This paper is a personal reflection, summarising what was learned in the This paper is a personal reflection, summarising what was learned in the
course of writing the textbook. Some of it reiterates advice that is course of writing the textbook. Some of it reiterates advice that is
@ -215,10 +213,11 @@ The book is broken into three parts. The first part, Logical Foundations,
develops the needed formalisms. The second part, Programming Language develops the needed formalisms. The second part, Programming Language
Foundations, introduces basic methods of operational semantics. Foundations, introduces basic methods of operational semantics.
The third part, Denotational Semantics, introduces a simple The third part, Denotational Semantics, introduces a simple
model of semantics, and shows it is compositional, sound, adequate, model of semantics and its properties.
and implies contextual equivalence.
(SF is divided into books, the first two of which have the same names (SF is divided into books, the first two of which have the same names
as the first two parts of PLFA, and cover similar material.) as the first two parts of PLFA, and cover similar material.)
Part~I and Part~II up to Untyped were written by Phil,
Part~II from Substitution and Part~III were written by Jeremy.
Each chapter has both a one-word name and a title, the one-word name Each chapter has both a one-word name and a title, the one-word name
being both its module name and its file name. being both its module name and its file name.