From post

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

Incremental execution of transformation specifications.

G. Sittampalam, O. de Moor, и K. Larsen. POPL, стр. 26-38. ACM, (2004)

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 Algebra of ProgrammingR. Bird, и O. de Moor. Prentice Hall, (сентября 1997)Generic Program Transformation.O. de Moor, и G. Sittampalam. Advanced Functional Programming, том 1608 из Lecture Notes in Computer Science, стр. 116-149. Springer, (1998)More Haste, Less Speed: Lazy Versus Eager Evaluation.R. Bird, G. Jones, и O. de Moor. J. Funct. Program., 7 (5): 541-547 (1997)Refactoring ToolsD. Dig, R. Johnson, F. Tip, O. Moor, J. Becicka, W. Griswold, и M. Keller. (2008)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)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)Inductive Data Types for Predicate Transformers.O. de Moor. Inf. Process. Lett., 43 (3): 113-117 (1992)The algebra of programming.R. Bird, и O. de Moor. NATO ASI DPD, стр. 167-203. (1996)Type inference for datalog with complex type hierarchies.M. Schäfer, и O. de Moor. POPL, стр. 145-156. ACM, (2010)