Login
From:
Posts on Daniel's Blog
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 7: Connecting Semantics and Control Flow Graphs
https://danilafe.com/blog/07_spa_agda_semantics_and_cfg/
links
backlinks
Roast topics
Find topics
Find it!
In the previous two posts, I covered two ways of looking at programs in my little toy language: In part 5, I covered the formal semantics of the programming language.
