scientific article; zbMATH DE number 7149819

MaRDI QIDQ5208779zbMATH OpenFDO

Authors Jurriaan Rot, Irina Măriuca Asăvoae, Marcello M. Bonsangue, Dorel Lucanu, Frank S. de Boer

Publication date 10 January 2020

Full work available at URL https://arxiv.org/abs/1212.3879, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2012.9

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Recurrence relations on heaps
• scientific article; zbMATH DE number 742986
• Solving the heap
• On the ``heap problem
• Algorithms and Data Structures
• Manipulating multiple stacks with ordered-heap
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• A note on the problem of heaps

Cited in

(12)

• Recurrence relations on heaps
• Establishing local temporal heap safety properties with applications to compile-time memory management
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• From rewriting logic, to programming language semantics, to program verification
• Unbounded allocation in bounded heaps
• Verifying Temporal Heap Properties Specified via Evolution Logic
• scientific article; zbMATH DE number 1956555 (Why is no real title available?)
• scientific article; zbMATH DE number 2090860 (Why is no real title available?)
• scientific article; zbMATH DE number 2090863 (Why is no real title available?)
• Reasoning about heap manipulating programs using automata techniques
• A semantics for procedure local heaps and its abstractions
• Model and proof generation for heap-manipulating programs

This page was built for publication:

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