Graphical visualization of Java objects, threads, and locks

IEEE Distributed Systems Online

Volumn 2, Issue 1, 2001, Pages

  Attali, Isabelle ^a,b   Caromel, Denis ^a,c   Russo, Marjorie ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

^b INRIA   (France)

^c UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY; DEADLOCKS; JITAN; MULTITHREADING;

COMPUTATIONAL COMPLEXITY; COMPUTER GRAPHICS; COMPUTER SYSTEM RECOVERY; MULTIPROCESSING SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SEMANTICS; SYNCHRONIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 0003197879     PISSN: 15414922     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (7)

1. J. Gosling, B. Joy, and G. Steele, The Java Language Specification, Addison-Wesley, Reading, Mass., 1996.
2. S. Oaks and H. Wong, Java Threads, O'Reilly, Sebastopol, Calif., 1997.
3. M. Campione and K. Walrath, The Java Tutorial (Object-Oriented Programming for the Internet), Addison-Wesley, Reading, Mass., 1998.
4. G. Kahn, "Natural Semantics," Proc. Symp. Theoretical Aspects of Computer Science, Vol. 247, Lecture Notes in Computer Science, Springer-Verlag, Amsterdam, 1987, pp. 22-39.
5. G.D. Plotkin, A Structural Approach to Operational Semantics, Report DAIMI FN-19, Computer Science Dept., Aarhus Univ., Aarhus, Denmark, 1981.
6. P. Borras et al., "Centaur: The System," Proc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. Practical Software Development Environments, ACM Press, New York, 1988, pp. 14-24.
7. G. Kahn, B. Lang, and B. Mélèse, "Metal: A Formalism to Specify Formalisms," Science of Computer Programming, Vol. 3, North-Holland, Amsterdam, 1983.