Type-Safe Dynamic Update Transaction

Shi Zhang, Linpeng Huang. Type-Safe Dynamic Update Transaction. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 335-340, IEEE Computer Society, 2007. [doi]

@inproceedings{ZhangH07:16,
  title = {Type-Safe Dynamic Update Transaction},
  author = {Shi Zhang and Linpeng Huang},
  year = {2007},
  doi = {10.1109/COMPSAC.2007.228},
  url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.228},
  researchr = {https://researchr.org/publication/ZhangH07%3A16},
  cites = {0},
  citedby = {0},
  pages = {335-340},
  booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2870-0},
}