scientific article; zbMATH DE number 2084334

zbMATH Open1073.68573MaRDI QIDQ3043809FDOQ3043809

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

program transformationpointer algorithmsdestructive updatesPaterson/Hewitt

Mathematics Subject Classification ID

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

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)