Qualified data flow problems
L. Howard Holley, Barry K. Rosen
POPL 1980
Several measures of syntactic complexity in mathematical linguistics allow infinitely many sentences to share a complexity value. Thus there is doubt about the existence of bounds on the memory requirements of parsing mechanisms in terms of the complexities of their inputs. This paper establishes the existence of such bounds for all measures which satisfy certain postulates. The general theorems are applied to the familiar measures of depth, nesting, and self-embedding, as well as to a new measure. The methods of proof lead to unexpected linguistic interpretations of the results. © 1974 Academic Press, Inc.
L. Howard Holley, Barry K. Rosen
POPL 1980
Barry K. Rosen
Journal of the ACM
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems