An example of hierarchical design and proof
Hierarchical programming is being increasingly recognized as helpful in the construction of large programs. Users of hierarchical techniques claim or predict substantial…
An example of hierarchical design and proof
Proof techniques for hierarchically structured programs
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved