George B. Leeman Jr.

Publication Activity (10 Years)

Years Active: 1974-1986
Publications (10 Years): 0

Publications

George B. Leeman Jr.
A Formal Approach to Undo Operations in Programming Languages. ACM Trans. Program. Lang. Syst. 8 (1) (1986)
Robert F. Gordon, George B. Leeman Jr., Clayton H. Lewis
Concepts and Implications of Undo for Interactive Recovery. ACM Annual Conference (1985)
Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman
A Program Development Tool. IBM J. Res. Dev. 28 (1) (1984)
Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman
A Program Development Tool. POPL (1981)
William H. Joyner Jr., William C. Carter, George B. Leeman Jr.
Automated proofs of microprogram correctness. MICRO (1976)
George B. Leeman Jr.
Some Problems in Certifying Microprograms. IEEE Trans. Computers 24 (5) (1975)
George B. Leeman Jr., William C. Carter, Alexander Birman
Some Techniques for Microprogram Validation. IFIP Congress (1974)