scientific article; zbMATH DE number 2084334

MaRDI QIDQ3043809zbMATH OpenFDO

Authors Thorsten Ehm

Publication date 6 August 2004

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

zbMATH Keywords

program transformationpointer algorithmsdestructive updatesPaterson/Hewitt

Mathematics Subject Classification ID

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

Recommendations

• Calculational derivation of pointer algorithms from tree operations
• Towards pointer algebra
• Pointer logic for verification of pointer programs
• Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
• Safe Modification of Pointer Programs in Refinement Calculus

Cited in

(4)

• Towards pointer algebra
• Automatically replacing indices into parallel arrays with pointers to records
• Calculating with acyclic and cyclic lists
• Calculational derivation of pointer algorithms from tree operations

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