Laurent Hubert, David Pichardie. Soundly Handling Static Fields: Issues, Semantics and Analysis. Electronic Notes in Theoretical Computer Science, 253(5):15-30, 2009. [doi]
@article{HubertP09, title = {Soundly Handling Static Fields: Issues, Semantics and Analysis}, author = {Laurent Hubert and David Pichardie}, year = {2009}, doi = {10.1016/j.entcs.2009.11.012}, url = {http://dx.doi.org/10.1016/j.entcs.2009.11.012}, tags = {semantics, analysis, static analysis}, researchr = {https://researchr.org/publication/HubertP09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {5}, pages = {15-30}, }