Thread Safety through Partitions and Effect Agreements

Nicholas D. Matsakis, Thomas R. Gross. Thread Safety through Partitions and Effect Agreements. In José Nelson Amaral, editor, Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers. Volume 5335 of Lecture Notes in Computer Science, pages 172-186, Springer, 2008. [doi]

@inproceedings{MatsakisG08,
  title = {Thread Safety through Partitions and Effect Agreements},
  author = {Nicholas D. Matsakis and Thomas R. Gross},
  year = {2008},
  doi = {10.1007/978-3-540-89740-8_12},
  url = {http://dx.doi.org/10.1007/978-3-540-89740-8_12},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/MatsakisG08},
  cites = {0},
  citedby = {0},
  pages = {172-186},
  booktitle = {Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers},
  editor = {José Nelson Amaral},
  volume = {5335},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89739-2},
}