book chapter · Lecture notes in computer science · 2006

Compositional Reasoning for Pointer Structures

Cited by 9Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Chen, Y., & Sanders, J. W. (2006). Compositional Reasoning for Pointer Structures. Lecture notes in computer science, 115–139. https://doi.org/10.1007/11783596_10

MLA 9

Chen, Yifeng, and J. W. Sanders. “Compositional Reasoning for Pointer Structures.” Lecture notes in computer science, 2006, pp. 115–39, https://doi.org/10.1007/11783596_10.

Chicago

Chen, Yifeng, and J. W. Sanders. 2006. “Compositional Reasoning for Pointer Structures.” Lecture notes in computer science: 115–39. https://doi.org/10.1007/11783596_10.

Harvard

Chen, Y. and Sanders, J.W. (2006) ‘Compositional Reasoning for Pointer Structures’, Lecture notes in computer science, pp. 115–139. Available at: https://doi.org/10.1007/11783596_10.

BibTeX

@incollection{chen2006compositional,
  title = {{Compositional Reasoning for Pointer Structures}},
  author = {Chen, Yifeng and Sanders, J. W.},
  booktitle = {Lecture notes in computer science},
  pages = {115--139},
  year = {2006},
  doi = {10.1007/11783596_10}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.