New ask Hacker News story: Ask HN: Program Analysis resources/online courses
Ask HN: Program Analysis resources/online courses
2 by BazookaMusic | 0 comments on Hacker News.
Hello HN, I have an idea around a project that involves static analysis and code analyzers and I'd like to implement it as part of an industrial Phd. I took some courses programming language theory in university, but I'd like to build some stronger foundation before seeking a professor to pitch the idea. Do you have any resources (papers, books, YouTube) or even better online courses to suggest on the following topics: 1) Code transformations 2) Type theory/semantics
2 by BazookaMusic | 0 comments on Hacker News.
Hello HN, I have an idea around a project that involves static analysis and code analyzers and I'd like to implement it as part of an industrial Phd. I took some courses programming language theory in university, but I'd like to build some stronger foundation before seeking a professor to pitch the idea. Do you have any resources (papers, books, YouTube) or even better online courses to suggest on the following topics: 1) Code transformations 2) Type theory/semantics
Comments
Post a Comment