Balancing weight-balanced trees

DOI10.1017/S0956796811000104MaRDI QIDQ3016214zbMATH OpenDBLPWikidataFDO

Authors Yoichi Hirai, Kazuhiko Yamamoto

Publication date 14 July 2011

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796811000104

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Verified Root-Balanced Trees
• scientific article; zbMATH DE number 3852445
• A new weight balanced binary search tree
• A TOP-DOWN UPDATING ALGORITHM FOR WEIGHT-BALANCED TREES
• Balancing binary trees by internal path reduction

Cites work

• CSDP, A C library for semidefinite programming
• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Purely Functional Data Structures
• The optimal fixed point combinator

Cited in

(6)

• Trees with power-like height dependent weight
• Ready, set, verify! Applying hs-to-coq to real-world Haskell code
• Weighted Rooted Trees: Fat or Tall?
• Verified Root-Balanced Trees
• Total Weight Choosability of Trees
• Verifying Balanced Trees

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Balancing weight-balanced trees

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