Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Basu, S.K., Misra, J.: Proving loop programs. IEEE Trans. on Software Engineering 1(1), 76–86 (1975)
2. Basu, S.K., Misra, J.: Some classes of naturally provable programs. In: Proc. 2nd Int. Conf. on Software Engineering, pp. 400–406. IEEE Press, Los Alamitos (1976)
3. Chandy, K.M., Misra, J.: Parallel Program Design. Addison-Wesley, Reading (1988)
4. Dunlop, D.D., Basili, V.R.: Generalizing specifications for uniformly implemented loops. ACM Trans. on Programming Languages and Systems 7(1), 137–158 (1985)
5. Fradet, P., Gaugne, R., Metayer, D.L.: Static detection of pointer errors: an axiomatisation and a checking algorithm. Lecture Notes in Computer Sci. vol. 1058, 125–140 (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献