Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

George B. Leeman Jr.

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1986
[j3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Leeman86
- ask others
George B. Leeman Jr.: A Formal Approach to Undo Operations in Programming Languages. ACM Trans. Program. Lang. Syst. 8(1): 50-87 (1986)
1985
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acm/GordonLL85
- ask others
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
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ibmrd/AlbergaBLMW84
- ask others
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
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AlbergaBLMW81
- ask others
Cyril N. Alberga, Alfred L. Brown, George B. Leeman Jr., Martin Mikelsons, Mark N. Wegman: A Program Development Tool. POPL 1981: 92-104

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1975
[j1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tc/Leeman75
- ask others
George B. Leeman Jr.: Some Problems in Certifying Microprograms. IEEE Trans. Computers 24(5): 545-553 (1975)
1974
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip/LeemanCB74
- ask others
George B. Leeman Jr., William C. Carter, Alexander Birman: Some Techniques for Microprogram Validation. IFIP Congress 1974: 76-80