Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Ruzica Piskac, Philippe Suter. Ordered Sets in the Calculus of Data Structures. In Anuj Dawar, Helmut Veith, editors, Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6247 of Lecture Notes in Computer Science, pages 34-48, Springer, 2010. [doi]

@inproceedings{KuncakPS10,
  title = {Ordered Sets in the Calculus of Data Structures},
  author = {Viktor Kuncak and Ruzica Piskac and Philippe Suter},
  year = {2010},
  doi = {10.1007/978-3-642-15205-4_5},
  url = {http://dx.doi.org/10.1007/978-3-642-15205-4_5},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/KuncakPS10},
  cites = {0},
  citedby = {0},
  pages = {34-48},
  booktitle = {Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings},
  editor = {Anuj Dawar and Helmut Veith},
  volume = {6247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15204-7},
}