We stand with Ukraine  

George B. Leeman Jr.

According to our database1, George B. Leeman Jr. authored at least 6 papers between 1974 and 1986.

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

1986
A Formal Approach to Undo Operations in Programming Languages.
[BibTeX]
[DOI]
George B. Leeman Jr.
ACM Trans. Program. Lang. Syst., 1986

1985
Concepts and Implications of Undo for Interactive Recovery.
[BibTeX]
[DOI]
Robert F. Gordon
,
George B. Leeman Jr.
,
Clayton H. Lewis
Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1984
A Program Development Tool.
[BibTeX]
[DOI]
Cyril N. Alberga
,
Allen L. Brown
,
George B. Leeman Jr.
,
Martin Mikelsons
,
Mark N. Wegman
IBM J. Res. Dev., 1984

1976
Automated proofs of microprogram correctness.
[BibTeX]
[DOI]
William H. Joyner Jr.
,
William C. Carter
,
George B. Leeman Jr.
Proceedings of the 9th annual workshop on Microprogramming, 1976

1975
Some Problems in Certifying Microprograms.
[BibTeX]
[DOI]
George B. Leeman Jr.
IEEE Trans. Computers, 1975

1974
Some Techniques for Microprogram Validation.
[BibTeX]
George B. Leeman Jr.
,
William C. Carter
,
Alexander Birman
Proceedings of the Information Processing, 1974


  Loading...