hwayne/awesome-cold-showers
1
1
Fork 0
mirror of https://github.com/hwayne/awesome-cold-showers.git synced 2024-11-22 03:32:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Pietro Monticone 2024-01-05 02:10:24 +01:00
parent 5cfbebf972
commit 91065e8497
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -62,7 +62,7 @@ It's great when people get excited about things, but sometimes they get a little
* **Notes:** Systems were verified with Coq and Z3. Further discussion at [The Morning Paper](https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/).
#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identifier Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF)
#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identifier Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF)
* **Hype:** "Identifiers should be self-documenting! Use full names, not abbreviations."