Low-Level Software Security for Compiler Developers
https://llsoftsec.github.io/llsoftsecbook/
Post #1749
650
Forwarded from Programming Deadlock
- 👍 5
- 🌭 1
- Sep 14, 2026Tracking Redexes in the Lambda Calculus Jean-Jacques Lévy Residuals of redexes keep track…
- Sep 10, 2026Reference counting as a computational interpretation of linear logic Jawahar Chirimar, Car…
- Sep 6, 2026После лекции про System T меня расспрашивали про доказательства непротиворечивости и теоре…
- Sep 5, 2026https://dl.acm.org/doi/epdf/10.1145/2544173.2509546 Carbin, Misailovic, Rinard, [2013] "Ve…
- Aug 1, 2026People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA
- Jun 20, 2026Intrinsically Correct Algorithms and Recursive Coalgebras Cass Alexandru, Henning Urbat, T…