Stories by bollu
A method for analytically calculating the forces between systems of rigid bodies in resting (non-colliding) contact is presented.
The systems of bodies may either be in motion or static equilibrium and adjacent bodies may touch at multiple points.
The analytic formulation of the forces between bod...
In this paper, we describe the program structure tree (PST),
a hierarchical representation of program structure based on
single entry single exit (SESE) regions of the control flow
graph. We give a linear-time algorithm for finding SESE
regions and for building the PST of arbitrary control flow
...