From post

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

From Dynamic Programming to Greedy Algorithms.

R. Bird, и O. de Moor. Formal Program Development, том 755 из Lecture Notes in Computer Science, стр. 43-61. Springer, (1993)

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.

More Haste, Less Speed: Lazy Versus Eager Evaluation.R. Bird, G. Jones, и O. de Moor. J. Funct. Program., 7 (5): 541-547 (1997)Generic Program Transformation.O. de Moor, и G. Sittampalam. Advanced Functional Programming, том 1608 из Lecture Notes in Computer Science, стр. 116-149. Springer, (1998)Refactoring ToolsD. Dig, R. Johnson, F. Tip, O. Moor, J. Becicka, W. Griswold, и M. Keller. (2008)The Algebra of ProgrammingR. Bird, и O. de Moor. Prentice Hall, (сентября 1997)From Dynamic Programming to Greedy Algorithms.R. Bird, и O. de Moor. Formal Program Development, том 755 из Lecture Notes in Computer Science, стр. 43-61. Springer, (1993)An Algebraic Construction of Predicate Transformers.P. Gardiner, C. Martin, и O. de Moor. MPC, том 669 из Lecture Notes in Computer Science, стр. 100-121. Springer, (1992)Inductive Data Types for Predicate Transformers.O. de Moor. Inf. Process. Lett., 43 (3): 113-117 (1992)Tracking Static Analysis Violations over Time to Capture Developer Characteristics.P. Avgustinov, A. Baars, A. Henriksen, R. Lavender, G. Menzel, O. de Moor, M. Schäfer, и J. Tibble. ICSE (1), стр. 437-447. IEEE Computer Society, (2015)The algebra of programming.R. Bird, и O. de Moor. NATO ASI DPD, стр. 167-203. (1996)Categories,Relations and Dynamic ProgrammingO. Moor. Univ.Oxf.Computing Lab.,Programming Research Gp., (апреля 1992)