Investigating Java concurrency using Abstract State Machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1912 LNCS, Issue , 2000, Pages 151-176

  Gurevich, Yuri ^a   Schulte, Wolfram ^a   Wallace, Charles ^b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF DELAWARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

ABSTRACT STATE MACHINES; JAVA THREAD; PLATFORM-INDEPENDENT MODEL; PLATFORM INDEPENDENT MODEL;

COMPUTER SCIENCE; ARTIFICIAL INTELLIGENCE;

EID: 84889602759     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44518-8_10     Document Type: Conference Paper

References (23)

1. I. Attali, D. Caromel, and M. Russo. A formal executable semantics for Java. In Proceedings of the OOPSLA '98 Workshop on the Formal Underpinnings of Java, 1998.
2. E. Borger. Why use Evolving Algebras for hardware and software engineering? In Proceedings of SOFSEM, 1995.
3. E. Borger and W. Schulte. A programmer friendly modular definition of the semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java. Springer, 1998.
4. P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. ¿From sequential to multithreaded Java: An event-based operational semantics. In M. Johnson, editor, Algebraic Methodology and Software Technology, pages 75-90. Springer, 1997.
5. E. Coscia and G. Reggio. A proposal for a semantics of a subset of multi-threaded "good" Java programs. In Proceedings of the OOPSLA '98 Workshop on the Formal Underpinnings of Java, 1998.
6. A. Gontmakher and A. Schuster. Java consistency: Non-operational characterizations for Java memory behavior. Technion/CS Technical Report CS0922, 1997.
7. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
8. Y. Gurevich. Evolving Algebras: an attempt to discover semantics. In G. Rozenberg and A. Salonm, editors, Current Trends in Theoretical Computer Science, pages 266-292. World Scientific, 1993.
9. Y. Gurevich. Evolving Algebras 1993: Lipari guide. In E. Borger (editor), Specification and Validation Methods, Oxford University Press, 1995, 9-36.
10. Y. Gurevich. May 1997 draft of the ASM guide. Available at [22], 1997.
11. Y. Gurevich, W. Schulte and C. Wallace. Investigating Java concurrency using Abstract State Machines. Technical Report 2000-04, Department of Computer & Information Sciences, University of Delaware, 1999.
12. C. Horstmann and G. Cornell. Core Java 1.1, volume II: Advanced Features. Sun Microsystems Press, 1998.
13. Sun Microsystems. Java technology home page. http://java.sun.com/.
14. A. Jolin. Java's atomic assignment: The key to simpler data access across threads. Java Report 3(8), 27-36, 1998.
15. D. Lea. Concurrent Programming in Java. Addison-Wesley, 1997.
16. M. MacBeth, K. McGuigan and P. Hatcher. Executing Java threads in parallel in a distributed memory environment. In Proceedings of IBM CASCON, 1998.
17. S. Oaks and H. Wong. Java Threads. O'Reilly and Associates, 1997.
18. G. Plotkin. Structural Operational Semantics (Lecture notes). Technical Report DAIMI FN-19, Aarhus University, 1981.
19. W. Pugh. Fixing the Java memory model. In Proceedings of ACM Java Grande, 1999.
20. Joachim Schmid. ASMGofer home page. http://www.tydo.de/AsmGofer/.
21. G. Steele. Personal communication.
22. Univ. of Michigan. ASM home page. http://www.eecs.umich.edu/gasm/.
23. Univ. of Paderborn. ASM home page. http://www.uni-paderborn.de/cs/asm/.