scientific article; zbMATH DE number 1956556

MaRDI QIDQ4417896zbMATH OpenFDO

Authors Uday S. Reddy, Hongseok Yang

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180223.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• Correctness of data representations involving heap data structures
• Verification of multi-linked heaps
• Behavioural correctness of data representations
• Logical characterizations of heap abstractions
• Heaps and Data Structures: A Challenge for Automated Provers
• A characterization of heaps and its applications
• Static Analysis
• scientific article; zbMATH DE number 742986

Cited in

(3)

• Correctness of data representations involving heap data structures
• A memetic algorithm for the job-shop with time-lags
• Blaming the client: on data refinement in the presence of pointers

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 Q4417896)