BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
9 × USA
Collaborated with:
H.Ehrig F.K.Zadeck M.N.Wegman L.H.Holley C.H.Lewis D.M.Dhamdhere A.Maggiolo-Schettini H.R.Strong R.Cytron J.Ferrante
Talks about:
flow (3) data (3) effici (2) comput (2) decomposit (1) procedur (1) mathemat (1) theorem (1) sometim (1) qualifi (1)

Person: Barry K. Rosen

DBLP DBLP: Rosen:Barry_K=

Facilitated 1 volumes:

POPL 1979Ed

Contributed to:

PLDI 19921992
POPL 19891989
POPL 19881988
POPL 19811981
POPL 19801980
GG 19781978
POPL 19781978
ICALP 19771977
POPL 19771977
POPL 19731973
STOC 19701970

Wrote 12 papers:

PLDI-1992-DhamdhereRZ #how #scalability #source code
How to Analyze Large Programs Efficiently and Informatively (DMD, BKR, FKZ), pp. 212–223.
POPL-1989-CytronFRWZ #performance
An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.
Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.
POPL-1981-Rosen #linear #polynomial
Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.
POPL-1980-HolleyR #data flow #problem
Qualified Data Flow Problems (LHH, BKR), pp. 68–82.
GG-1978-EhrigR #composition #graph grammar
Decomposition of Graph Grammar Productions and Derivations (HE, BKR), pp. 192–205.
POPL-1978-Rosen #agile #analysis #data flow #monad
Monoids for Rapid Data Flow Analysis (BKR), pp. 47–59.
The Mathematics of Record Handling (HE, BKR), pp. 206–220.
POPL-1977-Rosen #control flow
Applications of High-Level Control Flow (BKR), pp. 38–47.
POPL-1973-LewisR #data type #recursion
Recursively Defined Data Types (CHL, BKR), pp. 125–138.
POPL-1973-Maggiolo-SchettiniRS #optimisation
Procedure Linkage Optimization (AMS, BKR, HRS), pp. 183–193.
STOC-1970-Rosen #theorem
Tree-Manipulating Systems and Church-Rosser Theorems (BKR), pp. 117–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.