Towards using concurrent Java API correctly
Concurrent Programs are hard to analyze or debug due to the complex program logic and unpredictable execution environment. In practice, ordinary programmers often adopt existing well-designed concurrency related API (e.g., those in java.util.concurrent) so as to avoid dealing with these issues. Thes...
Saved in:
Main Authors: | LIU, Shuang, BAI, Guangdong, SUN, Jun, DONG, Jin Song |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2016
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4942 https://ink.library.smu.edu.sg/context/sis_research/article/5945/viewcontent/towards_using.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Towards expressive specification and efficient model checking
by: DONG, Jin Song, et al.
Published: (2009) -
Using monterey phoenix to formalize and verify system architectures
by: ZHANG, Jiexin, et al.
Published: (2012) -
Complexity of the soundness problem of workflow nets
by: LIU, Guan Jun, et al.
Published: (2014) -
A graph-based semantics workbench for concurrent Asynchronous programs
by: CORRODI, Claudio, et al.
Published: (2016) -
Integrating specification and programs for system modeling and verification
by: SUN, Jun, et al.
Published: (2009)