Burt M. Leavenworth

24 papers A 1Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
1992 J jnl
Proxy: an interpreter for rapid prototyping.
ACM SIGPLAN Notices
Burt M. Leavenworth
1983 J jnl
Abstract Design and Program Translator: New Tools for Software Design.
IBM Syst. J.
Jerry L. Archibald, Burt M. Leavenworth, Leigh R. Power
1981 A conf
Database Views Using Data Abstraction.
ER
Burt M. Leavenworth
1981 — conf
Database programming with data abstractions.
AFIPS National Computer Conference
Burt M. Leavenworth
1980 — conf
A Data Abstraction Approach to Database Modelling.
Workshop on Data Abstraction, Databases and Conceptual Modelling
Burt M. Leavenworth
1977 J jnl
Non-Procedural Data Processing.
Comput. J.
Burt M. Leavenworth
1977 J jnl
Structured Debugging Using a Domain Specific Language.
Softw. Pract. Exp.
Burt M. Leavenworth
1976 — conf
Incremental program testing in a very high level language.
ACM Annual Conference
Burt M. Leavenworth
1976 — conf
SICSOFT (Paper Session).
ACM Annual Conference
Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang
1974 — conf
An overview of nonprocedural languages.
SIGPLAN Symposium on Very High Level Languages
Burt M. Leavenworth, Jean E. Sammet
1974 — conf
Non-Procedural Programming.
Programming Methodology
Burt M. Leavenworth
1974 — ed.
Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, Santa Monica, California, USA, March 28-29, 1974
SIGPLAN Symposium on Very High Level Languages
Burt M. Leavenworth
1972 — conf
Control structures in programming languages - Part II (Panel Session): "The GOTO controversy".
ACM Annual Conference (2)
Burt M. Leavenworth
1972 — conf
Control structures in programming languages - part-I (Panel Session): "The state of the art".
ACM Annual Conference (2)
Burt M. Leavenworth, Jack B. Dennis
1972 — conf
English as a query language.
ACM Annual Conference (2)
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
1972 — conf
Formal definition of programming languages (Panel Session): "The lambda calculus approach".
ACM Annual Conference (2)
Burt M. Leavenworth, John M. Wozencraft
1972 — conf
Programming with(out) the GOTO.
ACM Annual Conference (2)
Burt M. Leavenworth
1972 J jnl
Programming with(out) the GOTO.
ACM SIGPLAN Notices
Burt M. Leavenworth
1971 — conf
Transition functions: A method for semantic extensions.
International Symposium on Extensible Languages
Burt M. Leavenworth
1966 J jnl
Syntax macros and extended translation.
Commun. ACM
Burt M. Leavenworth
1964 J jnl
FORTRAN IV as a syntax language.
Commun. ACM
Burt M. Leavenworth
1961 J jnl
Algorithm 40: critical path scheduling.
Commun. ACM
Burt M. Leavenworth
1960 J jnl
Algorithm 24: solution of tri-diagonal linear equations.
Commun. ACM
Burt M. Leavenworth
1960 J jnl
Algorithm 25: real zeros of an arbitrary function.
Commun. ACM
Burt M. Leavenworth