Elements of Programming

The (well-known?) book that has a nice treatment of reasoning about program semantics, using C++ as the sample language. And now the book is freely available as a PDF! I wonder if we could do a module based on this...

to c++ cmp409 etext programming-language semantics ... on 29 June 2020

PLOT: Table of Contents

David Moon's design for a modern Lisp with proper syntax rather than S-expressions.

to lisp mit programming-language syntax ... on 29 June 2020

Tags related to programming-language

- programming-language
 
1 c++
1 cmp409
1 etext
1 lisp
1 mit
2 programming-language
1 semantics
1 syntax