Static conflict analysis for multi-threaded object-oriented programs

被引：0

作者：

Von Praun, Christoph ^{[1
]}

Gross, Thomas R. ^{[1
]}

机构：

[1] Laboratory for Software Technology, ETH Zürich, 8092 Zürich, Switzerland

来源：

ACM SIGPLAN Not. | 1600年 / 5卷 / 115-128期

关键词：

Compendex;

D O I：

Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation

中图分类号：

学科分类号：

摘要：

Data structures - Graph theory - Java programming language - Object oriented programming - Program diagnostics - Response time (computer systems)

引用

共 6 条

[1] Applying static analysis to large-scale, multi-threaded Java programs
Swiss Federal Institute of Technology, Institute of Computer Systems, ETH Zentrum, RZ H, Zürich
CH-8092, Switzerland
Proc Aust Software Eng Conf ASWEC, (68-75):
[2] Empirical assessment of object-oriented implementations with multiple inheritance and static typing
LIRMM, Université Montpellier 2, France
不详
Proc Conf Object Orient Program Syst Lang Appl OOPSLA, 1600, (41-60):
[3] Metaphor: A multi-stage, object-oriented programming language
Neverov, Gregory
Roe, Paul
Lect. Notes Comput. Sci., (168-185):
[4] Contextual integration testing of object-oriented and aspect-oriented programs: A structural approach for Java and AspectJ
Computer Systems Department, University of São Paulo, Brazil
Proc. - Braz. Symp. Softw. Eng., SBES, (214-223):
[5] An object-oriented data model for multi-level transit stop
Li, Yun
International Journal of Earth Sciences and Engineering, 2015, 8 (06): : 2940 - 2946
[6] Proceedings of the 12th Workshop on Implementation, Compilation and Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2017
Proceedings of the 12th Workshop on Implementation, Compilation and Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2017, 2017,