William F. Ogden

23 papers A* 4B 2Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2013 B conf
A Language for Building Verified Software Components.
ICSR
Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
2012 — conf
The Location Linking Concept: A Basis for Verification of Code Using Pointers.
VSTTE
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
2006 — conf
Performance analysis based upon complete profiles.
SAVCBS@FSE
Joan Krone, William F. Ogden, Murali Sitaraman
2001 — conf
Performance specification of software components.
SSR
Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
1998 — conf
A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Generic Programming
Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
1997 J jnl
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.
IEEE Trans. Software Eng.
Murali Sitaraman, Bruce W. Weide, William F. Ogden
1996 B conf
Characterizing observability and controllability of software components.
ICSR
Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden
1994 J jnl
Modular Verification of Data Abstractions with Shared Realizations.
IEEE Trans. Software Eng.
George W. Ernst, Raymond J. Hookway, William F. Ogden
1994 J jnl
Part I: the RESOLVE framework and discipline: a research synopsis.
ACM SIGSOFT Softw. Eng. Notes
William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben
1994 J jnl
Recasting Algorithms to Encourage Reuse.
IEEE Softw.
Bruce W. Weide, William F. Ogden, Murali Sitaraman
1991 J jnl
Modular Verification of Ada Generics.
Comput. Lang.
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden
1991 J jnl
Reusable Software Components.
Adv. Comput.
Bruce W. Weide, William F. Ogden, Stuart H. Zweben
1985 J jnl
An "Interchange Lemma" for Context-Free Languages.
SIAM J. Comput.
William F. Ogden, Rockford J. Ross, Karl Winklmann
1982 J jnl
Verification of Programs with Procedure-Type Parameter.
Acta Informatica
George W. Ernst, Jainendra K. Navlakha, William F. Ogden
1980 J jnl
Procedure semantics and language definition.
ACM SIGPLAN Notices
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
1980 J jnl
Specification of Abstract Data Types in Modula.
ACM Trans. Program. Lang. Syst.
George W. Ernst, William F. Ogden
1978 A* conf
Complexity of Expressions Allowing Concurrency.
POPL
William F. Ogden, William E. Riddle, William C. Rounds
1975 A* conf
On the Complexity of the Circularity Test for Attribute Grammars.
POPL
Mehdi Jazayeri, William F. Ogden, William C. Rounds
1975 — conf
Structured specification of a Security Kernel.
Reliable Software
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
1975 J jnl
The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.
Commun. ACM
Mehdi Jazayeri, William F. Ogden, William C. Rounds
1972 A* conf
Compositions of n Tree Transducers
STOC
William F. Ogden, William C. Rounds
1969 A* conf
Intercalation Theorems for Stack Languages
STOC
William F. Ogden
1968 J jnl
A Helpful Result for Proving Inherent Ambiguity.
Math. Syst. Theory
William F. Ogden