Author of the publication

Graphical Visualization of Java Objects, Threads, and Locks.

, , and . IEEE Distributed Systems Online, (2001)

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

Parameterized Specification and Verification of the Chilean Electronic Invoices System., , and . SCCC, page 14-25. IEEE Computer Society, (2004)Experimental functional realization of attribute grammar system., , and . The Computer Science Journal of Moldova, 10 (2): 190-215 (2002)Hierarchical and Declarative Security for Grid Applications., , and . HiPC, volume 2913 of Lecture Notes in Computer Science, page 363-372. Springer, (2003)Secured Information Flow for Asynchronous Sequential Processes., , , and . Electron. Notes Theor. Comput. Sci., 180 (1): 17-34 (2007)Smart Tools for Java Cards., , , , and . CARDIS, volume 180 of IFIP Conference Proceedings, page 155-176. Kluwer, (2000)A Natural Semantics for Eiffel Dynamic Binding., , and . ACM Trans. Program. Lang. Syst., 18 (6): 711-729 (1996)Optimizing Sisal Programs: A Formal Approach., , , and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 136-144. Springer, (1996)Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics., , , , and . International Journal of Parallel Programming, 29 (4): 433-460 (2001)Alias Analysis On Type Inference For Class Hierarchy In Java., , , , and . ACSC, page 206-214. IEEE Computer Society, (2001)Graphical Visualization of Java Objects, Threads, and Locks., , and . IEEE Distributed Systems Online, (2001)