Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

book chapter · Cambridge University Press eBooks · 2014

Case study: Separation logic with first-class functions

Cited by 0Abstract and details only

Abstract

In a conventional separation logic we have a “maps-to” operator a ↦ b saying that the heap contains (exactly) one cell at address a containing value b. This operator in the separation logic corresponds to the load and store operators of the operational semantics.

Cite this paper

APA 7

(2014). Case study: Separation logic with first-class functions. Cambridge University Press eBooks, 111–122. https://doi.org/10.1017/cbo9781107256552.021

MLA 9

“Case study: Separation logic with first-class functions.” Cambridge University Press eBooks, 2014, pp. 111–22, https://doi.org/10.1017/cbo9781107256552.021.

Chicago

2014. “Case study: Separation logic with first-class functions.” Cambridge University Press eBooks: 111–22. https://doi.org/10.1017/cbo9781107256552.021.

Harvard

(2014) ‘Case study: Separation logic with first-class functions’, Cambridge University Press eBooks, pp. 111–122. Available at: https://doi.org/10.1017/cbo9781107256552.021.

BibTeX
@incollection{anon2014case,
  title = {{Case study: Separation logic with first-class functions}},
  booktitle = {Cambridge University Press eBooks},
  pages = {111--122},
  year = {2014},
  doi = {10.1017/cbo9781107256552.021}
}

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

Related papers