Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (English)
- New search for: Aldrich, Jonathan
- New search for: Chambers, Craig
- New search for: Sirer, Emin Gun
- New search for: Eggers, Susan
- New search for: Aldrich, Jonathan
- New search for: Chambers, Craig
- New search for: Sirer, Emin Gun
- New search for: Eggers, Susan
In:
Static Analysis
1
;
19-38
;
1999
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
-
Contributors:Aldrich, Jonathan ( author ) / Chambers, Craig ( author ) / Sirer, Emin Gun ( author ) / Eggers, Susan ( author )
-
Published in:Static Analysis , 1 ; 19-38Lecture Notes in Computer Science ; 1694, 1 ; 19-38
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1999-01-01
-
Size:20 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesHatcliff, John / Corbett, James / Dwyer, Matthew / Sokolowski, Stefan / Zheng, Hongjun et al. | 1999
- 19
-
Static Analyses for Eliminating Unnecessary Synchronization from Java ProgramsAldrich, Jonathan / Chambers, Craig / Sirer, Emin Gun / Eggers, Susan et al. | 1999
- 39
-
Dynamic Partitioning in Analyses of Numerical PropertiesJeannet, Bertrand / Halbwachs, Nicolas / Raymond, Pascal et al. | 1999
- 51
-
Polyhedral Analysis for Synchronous LanguagesBesson, Frédéric / Jensen, Thomas / Talpin, Jean-Pierre et al. | 1999
- 69
-
Decomposing Non-redundant Sharing by ComplementationZaffanella, Enea / Hill, Patricia M. / Bagnara, Roberto et al. | 1999
- 85
-
Freeness Analysis Through Linear RefinementHill, Patricia / Spoto, Fausto et al. | 1999
- 101
-
Binary Decision GraphsMauborgne, Laurent et al. | 1999
- 117
-
Binding-Time Analysis for Both Static and Dynamic ExpressionsAsai, Kenichi et al. | 1999
- 134
-
Abstract Interpretation of Mobile AmbientsRydhof Hansen, René / Jensen, Jacob Grydholt / Nielson, Flemming / Nielson, Hanne Riis et al. | 1999
- 149
-
Abstracting Cryptographic Protocols with Tree AutomataMonniaux, David et al. | 1999
- 164
-
State Space Reduction Based on Live Variables AnalysisBozga, Marius / Fernandez, Jean-Claude / Ghirvu, Lucian et al. | 1999
- 179
-
Partial Dead Code Elimination Using Extended Value GraphTakimoto, Munehiro / Harada, Kenichi et al. | 1999
- 194
-
Translating Out of Static Single Assignment FormSreedhar, Vugranam C. / Ju, Roy Dz-Ching / Gillies, David M. / Santhanam, Vatsa et al. | 1999
- 211
-
Eliminating Dead Code on Recursive DataLiu, Yanhong A. / Stoller, Scott D. et al. | 1999
- 232
-
Detecting Equalities of Variables: Combining Efficiency with PrecisionRüthing, Oliver / Knoop, Jens / Steffen, Bernhard et al. | 1999
- 248
-
A New Class of Functions for Abstract InterpretationKöller, Jörg / Mohnen, Markus et al. | 1999
- 264
-
Equational SemanticsCorrenson, Loîc / Duris, Etienne / Parigot, Didier / Roussel, Gilles et al. | 1999
- 284
-
Abstract Animator for Temporal Specifications: Application to TLACansell, Dominique / Méry, Dominique et al. | 1999
- 300
-
Static Analysis of Mega-ProgramsWeise, Daniel et al. | 1999
- 303
-
Safety versus SecrecyVolpano, Dennis et al. | 1999
- 312
-
On the Complexity Analysis of Static AnalysesMcAllester, David et al. | 1999
- 330
-
Model-CheckingMüller-Olm, Markus / Schmidt, David / Steffen, Bernhard et al. | 1999
- 355
-
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow AnalysisSoffa, Mary Lou et al. | 1999