Pure Pointer Programs and Tree Isomorphism

DOI10.1007/978-3-642-37075-5_21MaRDI QIDQ4910428zbMATH OpenOpenAlexFDO

Authors Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Pure pointer programs with iteration
• Pure Pointer Programs with Iteration
• Calculational derivation of pointer algorithms from tree operations
• Pointers and Records in the Unifying Theories of Programming
• Relational and Kleene-Algebraic Methods in Computer Science
• The Level-Ancestor problem on pure pointer machines
• Compositional Reasoning for Pointer Structures
• Towards pointer algebra
• scientific article; zbMATH DE number 2086234

Cited in

(7)

• Calculational derivation of pointer algorithms from tree operations
• Pure pointer programs with iteration
• Computing with a fixed number of pointers (invited talk)
• scientific article; zbMATH DE number 4156407 (Why is no real title available?)
• Pure Pointer Programs with Iteration
• Mathematics of Program Construction
• Characterizingco-NLby a group action

This page was built for publication: Pure Pointer Programs and Tree Isomorphism

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