From post

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.

 

Другие публикации лиц с тем же именем

Symbolic Finite Differencing - Part I.. ESOP, том 432 из Lecture Notes in Computer Science, стр. 36-56. Springer, (1990)Future Directions in Program Transformations.. ACM Comput. Surv., 28 (4es): 170 (1996)Binding Performance at Language Design Time., и . POPL, стр. 85-97. ACM Press, (1987)High Level Reading and Data Structure Compilation., и . POPL, стр. 456-469. ACM Press, (1997)Three Partition Refinement Algorithms., и . SIAM J. Comput., 16 (6): 973-989 (1987)The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset., и . Algorithmic Languages and Calculi, том 95 из IFIP Conference Proceedings, стр. 382-414. Chapman & Hall, (1997)A Transformational Framework for the Automatic Control of Derived Data, и . VLDB, стр. 306-318. IEEE Computer Society, (1981)On testing common indices for two multi-index models: A link-free approach., , , и . J. Multivar. Anal., (2015)Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem., и . Sci. Comput. Program., 24 (3): 189-220 (1995)Towards Increased Productivity of Algorithm Implementation., и . SIGSOFT FSE, стр. 71-78. ACM, (1993)