I just finished the introduction to Spark (Building High Integrity Applications with SPARK). What should I study then ? I wish to have an overview of all areas, especially the tools to use, before trying to master one particular skill.
Right now I feel interested by static analysis, I want to learn more about it, but there is no proper manual on this. I could try to pick up from many books on concurrent, parallel or embedded programming that I have, but none are proper manuals with exercises so I would lack the most important, personal exposure, practical application. None are tailored for students.
Of course that kind of thing exists for about all topics in CS… But for other languages, so it’s no-go.
You can read my article about the Ada static analysis tool called “CodePeer” (aka “Inspector”): Sound and precise static analysis using a generalization of static single assignment and value numbering
It includes a bunch of references to the classic books and papers on Static Analysis, even if the article itself is a bit heavy going … 
7 Likes