This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
-
Barbara G. Ryder and Benjamin Weidermann,
"Languages Design and Analyzability: A Retrospective",
Software Practice and Experience,
Volume 42,
Pages 3-18,
October,
2011.
Note: © Copyright 2011 John Wiley & Sons available online at wileyonlinelibrary.com.
-
A position paper on compile-time program analysisBarbara G. Ryder
ACM SIGPLAN Notices, 1997Note: Also appeared in the January 1997 issue of ACM SIGPLAN Notices.
-
Stephen P. Masticola, Thomas J. Marlowe, and Barbara G. Ryder,
"Lattice Frameworks for Multi-Source and Bidirectional Data Flow Analysis Problems",
ACM TOPLAS,
Volume 17,
Number 5,
Pages 777-803,
September,
1995.
Note: Revised version of LCSR-TR-241.
-
T. J. Marlowe, B. G. Ryder, and M. Burke,
"Defining Flow Sensitivity for Data Flow Problems",
Laboratory of Computer Science Research Technical Report,
Number LCSR-TR-249,
July,
1995.
-
T. J. Marlowe and B. G. Ryder,
"Properties of Data Flow Frameworks: a Unified Model",
Acta Informatica,
Volume 28,
Pages 121-163,
1990.
-
Barbara G. Ryder and Stephen J. Pendergrast,
"Experiments in Optimizing FP",
IEEE Transactions on Software Engineering,
Volume 14,
Number 4,
Pages 444-454,
April,
1988.
-
-
A. M. Berman, M. C. Paull, and B. G. Ryder,
"Proving Relative Lower Bounds for Incremental Algorithms",
Acta Informatica,
Volume 27,
Pages 665-583,
July,
199.
See also: DCS-TR-154 4/85.