期刊文献+

Java同步线程模型分析与改进研究 被引量:1

下载PDF
导出
摘要 目前状况下,随着经济的迅速发展以及科学技术水平的不断提高,我国的计算机科学技术取得了较大程度上的发展,为我国国民经济的提高做出重要贡献。众所周知,计算机科学技术的发展与语言编程机制的逐步发展与完善莫不可分。Java语言编程机制便是其中的重要一种,随着它的不断发展与改进,目前状况下它已经在计算机语言中有了十分广泛的运用。该文主要针对Java同步线程模型分析与改进进行研究与分析。
作者 钟健
出处 《电脑知识与技术》 2014年第6X期4178-4179,共2页 Computer Knowledge and Technology
  • 相关文献

参考文献5

二级参考文献51

  • 1Goetz B, Peierls T, Bloch J, et al. Java Concurrency in Practice[M]. Addison WesleyProfessional,2006.
  • 2Corbett J C, Dwyer M B, Hatcliff J, et al. Bandera:Extracting Finite-State Models from Java Source Code[C]//Proe of the 22nd Int' 1 Conf on Software Engineering, 2000: 439-448.
  • 3David Y W Park, Ulrich Stem, Jens U Skakkebak, et al. Java Model Checking[C]//Proc of ASE' 00,2000.
  • 4Havelund K, Pressburger T. Model Checking Programs Using Java Pathfinder[J].International Journal on Software Tools for Technology Transfer, 2000,2(4) : 366-381.
  • 5Gosling J, Joy W, Steele G, et al. The Java Language Specification[M]. Third Edition. Addison Wesley, 2005.
  • 6Clarke E M, Emerson E A, Sistla A P. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications[J].ACM Trans on Programming Languages and Systems, 1986,8(2) : 244-263.
  • 7Holzmann G J. The Model Checker SPIN [J]. IEEE Trans on Software Engineering, 1997,23(5) : 279-94.
  • 8Holzmann G J. Trends in Software Verifieation[C]//Proc of Int'l Symp of Formal Methods Europe, 2003:40-50.
  • 9Havelund K, Visser W. Program Model Checking as a New Trend [J]. International Journal on Software Tools for Technology Transfer, 2002,4 (1) : 8-20.
  • 10Pugh W. Fixing the Java Memory Model[C]//Proc of the ACM Java Grande Conf, 1999:89-98.

共引文献34

同被引文献2

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部