Some Problems in Certifying Microprograms
- George B. Leeman
- 1975
- IEEE TC
Publications
Date
Featured collections
Popular topics
13 results for G. B. Leeman
A program development tool
- C.N. Alberga
- A.L. Brown
- et al.
- 1981
- POPL 1981
Detecting unwanted synchronization in java programs
- George Leeman
- Aaron Kershenbaum
- et al.
- 2004
- SEA 2004
BUILDING UNDO/REDO OPERATIONS INTO THE C PROGRAMMING LANGUAGE.
- G. B. Leeman Jr.
- 1984
- FTCS 1984
Automated proofs of microprogram correctness
- W.H. Joyner
- W.C. Carter
- et al.
- 1976
- MICRO Annual Workshop 1976
A Formal Approach to Undo Operations in Programming Languages
- George B. Leeman
- 1986
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A new proof for an inequality of jenkins
- George B. Leeman
- 1976
- Proceedings of the American Mathematical Society
A local estimate for typically real functions
- George B. Leeman
- 1974
- Pacific Journal of Mathematics
The constrained coefficient problem for typically real functions
- George B. Leeman
- 1973
- Trans. Am. Math. Soc.
Some regularity theorems for typically real functions
- George B. Leeman
- 1973
- Proceedings of the American Mathematical Society