Author:
Dewar Robert B. K.,Merritt Susan M.,Sharir Micha
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference12 articles.
1. Dijkstra, E.W.: Some beautiful arguments using mathematical induction. Acta Informat.13, 1?8 (1980)
2. Dewar, R.B.K., Merritt, S.M.: A derivation of sorting algorithms (to be published)
3. Dewar, R.B.K., Schonberg, E.: The elements ofSETL style. Proc. ACM Conf., Detroit 1979
4. Dewar, R.B.K., Schonberg, E., Schwartz, J.T.: Higher level programming. CIMS, New York University 1981
5. Green, C., Barstow, D.R.: On program synthesis knowledge. Artifical Intelligence10, 241?279 (1978
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献