Author:
Francez Nissim,Klebansky Boris,Pnueli Amir
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference15 articles.
1. Bobrow, G.D., Wegbreit, B.: A model and stack implementation of multiple environments. Comm. ACM 16, 591?603 (1973)
2. Cadiou, J.M., Manna, Z.: Recursive definitions of partial functions and their computations. Proc. ACM Conference on Proving Assertions about Programs, Las Cruces (N.M.), pp. 58?67, 1972
3. Chandra, A.K.: On the properties and applications of program schemas. Stanford University, Computer Science Department, Ph.D. Thesis, 1973
4. Egli, H.: A mathematical model for nondeterministic computation. ETH Zürich, Forschungsinstitut für Mathematik, 1975
5. Fikes, R.E.: REF? ARF. Artificial Intelligence 1,(1970)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献