« earlier | later » Page 1 of 1
Elements of Programming edit / delete
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 edit / delete
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
« earlier | later » Page 1 of 1
| - semantics | |
| 1 | + c |
| 1 | + c++ |
| 1 | + cmp409 |
| 1 | + etext |
| 1 | + language-design |
| 1 | + memory |
| 1 | + programming-language |
| 1 | + undefined |
tasty by Adam Sampson.