%0 Journal Article %1 journals/toplas/FosterJKA06 %A Foster, Jeffrey S. %A Johnson, Robert %A Kodumal, John %A Aiken, Alex %D 2006 %J ACM Trans. Program. Lang. Syst. %K dblp %N 6 %P 1035-1087 %T Flow-insensitive type qualifiers. %U http://dblp.uni-trier.de/db/journals/toplas/toplas28.html#FosterJKA06 %V 28

@article{journals/toplas/FosterJKA06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Foster, Jeffrey S. and Johnson, Robert and Kodumal, John and Aiken, Alex}, biburl = {https://www.bibsonomy.org/bibtex/23021c5ab4dd1d96419ab0177aea8e702/dblp}, ee = {https://doi.org/10.1145/1186632.1186635}, interhash = {58998dea89aaa016ac0893dfefd68694}, intrahash = {3021c5ab4dd1d96419ab0177aea8e702}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 6, pages = {1035-1087}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Flow-insensitive type qualifiers.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas28.html#FosterJKA06}, volume = 28, year = 2006 }