%0 Journal Article %1 journals/toplas/TerauchiA08 %A Terauchi, Tachio %A Aiken, Alex %D 2008 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 15:1-15:42 %T Witnessing side effects. %U http://dblp.uni-trier.de/db/journals/toplas/toplas30.html#TerauchiA08 %V 30

@article{journals/toplas/TerauchiA08, added-at = {2023-11-12T00:00:00.000+0100}, author = {Terauchi, Tachio and Aiken, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2dcba6979e1ce0bd1be917527adbf93a4/dblp}, ee = {https://doi.org/10.1145/1353445.1353449}, interhash = {a2d99003ec5f194dcb5440ef5e7de241}, intrahash = {dcba6979e1ce0bd1be917527adbf93a4}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {15:1-15:42}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Witnessing side effects.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas30.html#TerauchiA08}, volume = 30, year = 2008 }