Correctness of data representations involving heap data structures

DOI10.1016/j.scico.2004.01.007zbMath1091.68019OpenAlexW2003820289MaRDI QIDQ1887735

Uday S. Reddy, Hongseok Yang

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/12780893/heap_parametricity.pdf

zbMATH Keywords

Denotational semanticsSeparation logicImperative programming languagesRelational parametricity

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Data structures (68P05)

Related Items (2)

Algorithmic games for full ground references ⋮ Formally verifying exceptions for low-level code with separation logic

This page was built for publication: Correctness of data representations involving heap data structures