Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Computer Science (miscellaneous)
Reference34 articles.
1. B. Elspas, M. W. Green, K. N. Levitt, and R. J. Waldinger, Research in Interactive Program-Proving Techniques, Stanford Research Institute, Menlo Park, California, USA, May 1972.
2. S. German and B. Wegbreit, A synthesizer of inductive assertions, IEEE Transactions on Software Engineering, 1975, 1(1): 68–75.
3. S. Katz and Z. Manna, Logical analysis of programs, Communications of the ACM, 1976, 19(4): 188–206.
4. P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, ACM Press, New York, NY, 1977, 238–252.
5. P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, in Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Tucson, Arizona, ACM Press, New York, NY, 1978, 84–97.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献