3 ms·
This is more programming language theory, or, rather the PL-theory portion of formal methods, which is a small portion of formal methods research. Most formal m
by pron 7y ago
This is more programming language theory, or, rather the PL-theory portion of formal methods, which is a small portion of formal methods research. Most formal methods research these days focuses on sound static analysis, model checking and concolic testing, techniques that are showing better scalability than the deductive methods favored by PL theorists.
- nextos 7y agoI agree, but Concrete Semantics and the other 2 equivalent references are a general introduction to everything. Yes, they use theorem provers, but proofs are optional and not required to follow the material. And they do cover those topics you mention.