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

A dangling pointer is indeterminate | TrustInSoft

Well, that's an interesting bit of the C standard: "free(m); if (m == NULL) ..." is undefined behaviour...

to c language-design memory semantics undefined ... on 15 July 2014

Tags related to semantics

- semantics
 
1 c
1 c++
1 cmp409
1 etext
1 language-design
1 memory
1 programming-language
2 semantics
1 undefined