Isil Dillig, Thomas Dillig, Alex Aiken
Fluid Updates: Beyond Strong vs. Weak Updates
ESOP, 2010.
@inproceedings{ESOP-2010-DilligDA, author = "Isil Dillig and Thomas Dillig and Alex Aiken", booktitle = "{Proceedings of the 19th European Symposium on Programming}", doi = "10.1007/978-3-642-11957-6_14", editor = "Andrew D. Gordon", isbn = "978-3-642-11956-9", pages = "246--266", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Fluid Updates: Beyond Strong vs. Weak Updates}", volume = 6012, year = 2010, }