MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An Event-Based Structural Operational Semantics of Multi-Threaded Java." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Exception Analysis for Multithreaded Java Programs  
  • by Sukyoung Ryu And, Sukyoung Ryu, Kwangkeun Yi — Technical Memorandum ROPAS-2001-11, Research On Program Analysis System, Korea Advanced Institute of Science and Technology
  • … the existing work [4, 5] which present an event-based structural operational semantics for multi-threaded Java…
  • Add To MetaCart
  • Exception Analysis for Multithreaded Java Programs  
  • by Sukyoung Ryu — 2001 — Technical Memorandum ROPAS-2001-11, Research On Program Analysis System, Korea Advanced Institute of Science and Technology
  • … structural operational semantics for multi-threaded Java programs. 2.1 Synchronizing Expressions Throughout…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB