Correctness of data representations involving heap data structures

DOI10.1016/J.SCICO.2004.01.007zbMATH Open1091.68019OpenAlexW2003820289MaRDI QIDQ1887735FDOQ1887735

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) Data structures (68P05) Semantics in the theory of computing (68Q55)

Cited In (3)

• Title not available (Why is that?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887735)