< Sum and max AutoProof Code Repository Two-way maximum >

Tree Maximum

Category: Algorithm

Source: COST'11

Description

Given a binary tree, implement and verify a routine that returns the maximum value stored in the tree.

download source

Code