dblp.uni-trier.dewww.uni-trier.de

George B. Leeman Jr.

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
6EEGeorge B. Leeman Jr.: A Formal Approach to Undo Operations in Programming Languages. ACM Trans. Program. Lang. Syst. 8(1): 50-87 (1986)
1985
5 Robert F. Gordon, George B. Leeman Jr., Clayton H. Lewis: Concepts and Implications of Undo for Interactive Recovery. ACM Annual Conference - The range of computing: mid-80's perspective 1985: 150-157
1984
4 Cyril N. Alberga, Allen L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman: A Program Development Tool. IBM Journal of Research and Development 28(1): 60-73 (1984)
1981
3 Cyril N. Alberga, Alfred L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman: A Program Development Tool. POPL 1981: 92-104
1975
2 George B. Leeman Jr.: Some Problems in Certifying Microprograms. IEEE Trans. Computers 24(5): 545-553 (1975)
1974
1 George B. Leeman Jr., William C. Carter, Alexander Birman: Some Techniques for Microprogram Validation. IFIP Congress 1974: 76-80

Coauthor Index

1Cyril N. Alberga [3] [4]
2Alexander Birman [1]
3Alfred L. Brown (Fred Brown) [3]
4Allen L. Brown [4]
5William C. Carter [1]
6Robert F. Gordon [5]
7Clayton H. Lewis [5]
8Martin Mikelsons [3] [4]
9Mark N. Wegman [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)