Burt M. Leavenworth

According to our database1, Burt M. Leavenworth authored at least 22 papers between 1960 and 1992.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Proxy: an interpreter for rapid prototyping.
ACM SIGPLAN Notices, 1992

1983
Abstract Design and Program Translator: New Tools for Software Design.
IBM Syst. J., 1983

1981
Database Views Using Data Abstraction.
Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

Database programming with data abstractions.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
A Data Abstraction Approach to Database Modelling.
Proceedings of the Workshop on Data Abstraction, 1980

1977
Structured Debugging Using a Domain Specific Language.
Softw. Pract. Exp., 1977

Non-Procedural Data Processing.
Comput. J., 1977

1976
SICSOFT (Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

Incremental program testing in a very high level language.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974
An overview of nonprocedural languages.
Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, 1974

Non-Procedural Programming.
Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1972
Programming with(out) the GOTO.
ACM SIGPLAN Notices, 1972

Formal definition of programming languages (Panel Session): "The lambda calculus approach".
Proceedings of the ACM annual conference, 1972


Control structures in programming languages - part-I (Panel Session): "The state of the art".
Proceedings of the ACM annual conference, 1972

Control structures in programming languages - Part II (Panel Session): "The GOTO controversy".
Proceedings of the ACM annual conference, 1972

1971
Transition functions: A method for semantic extensions.
Proceedings of the International Symposium on Extensible Languages, 1971

1966
Syntax macros and extended translation.
Commun. ACM, 1966

1964
FORTRAN IV as a syntax language.
Commun. ACM, 1964

1961
Algorithm 40: critical path scheduling.
Commun. ACM, 1961

1960
Algorithm 24: solution of tri-diagonal linear equations.
Commun. ACM, 1960

Algorithm 25: real zeros of an arbitrary function.
Commun. ACM, 1960


  Loading...