George B. Leeman Jr.

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

A Formal Approach to Undo Operations in Programming Languages.

George B. Leeman Jr.

ACM Trans. Program. Lang. Syst., 1986

1985

Concepts and Implications of Undo for Interactive Recovery.

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

1981

A Program Development Tool.

Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1976

Automated proofs of microprogram correctness.

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.

George B. Leeman Jr.

IEEE Trans. Computers, 1975

1974

Some Techniques for Microprogram Validation.

George B. Leeman Jr., William C. Carter, Alexander Birman

Proceedings of the Information Processing, 1974