Burt M. Leavenworth

Publication Activity (10 Years)

Years Active: 1960-1992
Publications (10 Years): 0

Publications

Burt M. Leavenworth
Proxy: an interpreter for rapid prototyping. ACM SIGPLAN Notices 27 (6) (1992)
Jerry L. Archibald, Burt M. Leavenworth, Leigh R. Power
Abstract Design and Program Translator: New Tools for Software Design. IBM Syst. J. 22 (3) (1983)
Burt M. Leavenworth
Database Views Using Data Abstraction. ER (1981)
Burt M. Leavenworth
Database programming with data abstractions. AFIPS National Computer Conference (1981)
Burt M. Leavenworth
A Data Abstraction Approach to Database Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling (1980)
Burt M. Leavenworth
Non-Procedural Data Processing. Comput. J. 20 (1) (1977)
Burt M. Leavenworth
Structured Debugging Using a Domain Specific Language. Softw. Pract. Exp. 7 (4) (1977)
Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang
SICSOFT (Paper Session). ACM Annual Conference (1976)
Burt M. Leavenworth
Incremental program testing in a very high level language. ACM Annual Conference (1976)
Burt M. Leavenworth, Jean E. Sammet
An overview of nonprocedural languages. SIGPLAN Symposium on Very High Level Languages (1974)
Burt M. Leavenworth
Non-Procedural Programming. Programming Methodology (1974)
Burt M. Leavenworth, Jack B. Dennis
Control structures in programming languages - part-I (Panel Session): "The state of the art". ACM Annual Conference (2) (1972)
Burt M. Leavenworth
Programming with(out) the GOTO. ACM Annual Conference (2) (1972)
Burt M. Leavenworth, Vincent E. Guiliano, Arthur D. Little, Christine A. Montgomery, Charles Kellogg, Robert F. Simons, Frederick B. Thompson, William A. Woods, William R. Nugent
English as a query language. ACM Annual Conference (2) (1972)
Burt M. Leavenworth
Programming with(out) the GOTO. ACM SIGPLAN Notices 7 (11) (1972)
Burt M. Leavenworth, John M. Wozencraft
Formal definition of programming languages (Panel Session): "The lambda calculus approach". ACM Annual Conference (2) (1972)
Burt M. Leavenworth
Control structures in programming languages - Part II (Panel Session): "The GOTO controversy". ACM Annual Conference (2) (1972)
Burt M. Leavenworth
Transition functions: A method for semantic extensions. International Symposium on Extensible Languages (1971)
Burt M. Leavenworth
Syntax macros and extended translation. Commun. ACM 9 (11) (1966)
Burt M. Leavenworth
FORTRAN IV as a syntax language. Commun. ACM 7 (2) (1964)
Burt M. Leavenworth
Algorithm 40: critical path scheduling. Commun. ACM 4 (3) (1961)
Burt M. Leavenworth
Algorithm 24: solution of tri-diagonal linear equations. Commun. ACM 3 (11) (1960)
Burt M. Leavenworth
Algorithm 25: real zeros of an arbitrary function. Commun. ACM 3 (11) (1960)