From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The Evolution of Programs: A System for Automatic Program Modification.

N. Dershowitz, и Z. Manna. POPL, стр. 144-154. ACM, (1977)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

The evolution of programs.N. Dershowitz. Progress in computer science Birkhäuser, (1983)Synthesis by Completion.N. Dershowitz. IJCAI, стр. 208-214. Morgan Kaufmann, (1985)Conditional Equational Programming and the Theory of Conditional Term Rewriting.N. Dershowitz, и M. Okada. FGCS, стр. 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Higher-Order and Semantic Unification.N. Dershowitz, и S. Mitra. FSTTCS, том 761 из Lecture Notes in Computer Science, стр. 139-150. Springer, (1993)Debugging Logic Programs Using Specifications.Y. Lee, и N. Dershowitz. AADEBUG, том 749 из Lecture Notes in Computer Science, стр. 75-84. Springer, (1993)Towards an Axiomatization of Simple Analog Algorithms.O. Bournez, N. Dershowitz, и E. Falkovich. TAMC, том 7287 из Lecture Notes in Computer Science, стр. 525-536. Springer, (2012)Introduction.J. Costa, и N. Dershowitz. Nat. Comput., 10 (4): 1215-1217 (2011)Joint word2vec Networks for Bilingual Semantic Representations.L. Wolf, Y. Hanani, K. Bar, и N. Dershowitz. Int. J. Comput. Linguistics Appl., 5 (1): 27-42 (2014)Abstract and-parallel Machines.N. Lindenstrauss, и N. Dershowitz. Comput. Artif. Intell., 19 (5): 475-493 (2000)Rewriting and verification.N. Dershowitz. ACM SIGSOFT Softw. Eng. Notes, 10 (4): 60 (1985)