Author of the publication

Immutability specification and its applications.

, and . Concurrency - Practice and Experience, 17 (5-6): 639-662 (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations., , and . OOPSLA, page 447-460. ACM, (1999)SIGPLAN Notices 34(10).Immutability specification and its applications., and . Concurrency - Practice and Experience, 17 (5-6): 639-662 (2005)XJ: facilitating XML processing in Java., , , , , , and . WWW, page 278-287. ACM, (2005)Immutability specification and its applications., and . Java Grande, page 202-211. ACM, (2002)Dependence Analysis for Java., , , , and . LCPC, volume 1863 of Lecture Notes in Computer Science, page 35-52. Springer, (1999)Dynamic Optimistic Interprocedural Analysis: A Framework and an Application., and . OOPSLA, page 195-210. ACM, (2001)SIGPLAN Notices 36(11).A Core Library for Robust Numeric and Geometric Computation., , , and . Symposium on Computational Geometry, page 351-359. ACM, (1999)