Ideas & society2021 · shared on Hacker News
Program Analysis: An Appetizer
Explore Program Analysis: An Appetizer, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ycurious16 ·
Ask HN: Which books do you consider real gems in your field of work/study?
438 points262 comments
Ymagnio ·
Learning Theory from First Principles [pdf]
279 points63 comments
Yescriss ·
Software Verification and Analysis Using Z3
143 points40 comments
Ysusam ·
Lemma for the Fundamental Theorem of Galois Theory
134 points37 comments
YBazookaMusic ·
Ask HN: Program Analysis resources/online courses
5 points2 comments
Ytranspute ·
Astrée Static Analyzer for C and C++
4 points0 comments
Ynextos ·
Program Analysis: An Appetizer
3 points0 comments
Ynextos ·
Program Analysis (An Appetizer)
3 points0 comments
Ynextos ·
Program Analysis (An Appetizer)
2 points0 comments
Y_benj ·
The Power of Prolog
2 points0 comments
YNokinside ·
Abstract Interpretation in a Nutshell
1 points0 comments