Automatic visualization of recursion trees: a case study on generic programming

MaRDI QIDQ2844057zbMATH OpenFDO

Authors Alcino Cunha

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806947

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05)

Recommendations

• Recursive and dynamic structures in generic programming
• scientific article; zbMATH DE number 2040706
• scientific article; zbMATH DE number 1203405
• Automatically analyzing inductive properties for recursive data structures
• Visual representations for recursion
• Generalized structured programs and loop trees

Cited in

(2)

• ACVisualizer: A visualization tool for APi-calculus
• Extending lattice: using generics and methods to implement new visualization methods within the Trellis framework

This page was built for publication: Automatic visualization of recursion trees: a case study on generic programming

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