Autor der Publikation

Semantic-Based Visualization for Parallel Object-Oriented Programming.

, , , und . OOPSLA, Seite 421-440, 453-456. ACM, (1996)SIGPLAN Notices 31(10).

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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