program correctness & semantics

This commit is contained in:
Morgan 2018-02-09 05:18:47 +01:00 committed by GitHub
parent 5a4b8a4054
commit 38ba330e29
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -75,6 +75,7 @@ I spend a lot of time on internet, losing myself in lot of topics. I choose GitH
* [C/C++](#cc)
* [Clean code](#clean-code)
* [Conferences](#conferences)
* [Correctness](#correctness)
* [Database](#database)
* [Debugging](#debugging)
* [Erlang](#erlang)
@ -2695,6 +2696,13 @@ I spend a lot of time on internet, losing myself in lot of topics. I choose GitH
> Anywhere
* [Red Hat Events](https://www.redhat.com/en/events) - Conferences, online events, on-demand webinars, and more
## Correctness
* [Wikipedia](https://en.wikipedia.org/wiki/Hoare_logic) - Hoare logic is a formal system for reasoning about the correctness of computer programs
* [Cormac Flanagan](https://classes.soe.ucsc.edu/cmps203/Winter11/08-axiomatic.ppt.pdf) - (2003) [Slides] [PDF] Axiomatic Semantics
* [Ranjit Jhala](https://cseweb.ucsd.edu/classes/wi10/cse230/lectures/lec5.pdf) - (2010) [PDF] Axiomatic Semantics
* [Ken Slonneger](https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter11.pdf) - Axiomatic Semantics
* [Wikipedia](https://en.wikipedia.org/wiki/Operational_semantics) - Operational semantics
## Database
* [jOOQ Blog](https://blog.jooq.org/) - best practices and lessons learned about writing Java and SQL code
* [Liquibase](http://www.liquibase.org/) - a tool to safely manage database migration / refactoring