Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Samson Abramsky and Chris Hankin: “Abstract Interpretation of Declarative Languages”, Ellis Horwood Books in Computing Science (1987)
2. Aho, Sethi, Ullman: “Compilers — Principles, Techniques and Tools”, Addison-Wesley Publishing Company (1986)
3. John P. Banning: “An Efficient Way to Find the Side Effects of Procedure Calls and the Aliases of Variables” in Proc. of the 6th ACM Symp. on POPL (1979)
4. E.M. Clarke “Programming languages constructs for which it is impossible to obtain good Hoare axiom systems” in Proc. of the 4th ACM Symp. on POPL, pp 129–147 (1977)
5. E.M. Clarke “The characterization problem for Hoare logic” in Phil. Trans. R. Soc. Lond., pp 423–440
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献