| 1991 |
|---|
| 9 | | James L. Elshoff,
Michael Marcotty:
Microtool: An Environment for Programming Microprocessors.
IEEE Software 8(1): 42-48 (1991) |
| 1982 |
|---|
| 8 | | James L. Elshoff,
Michael Marcotty:
Improving Computer Program Readability to Aid Modification.
Commun. ACM 25(8): 512-521 (1982) |
| 1977 |
|---|
| 7 | | Michael Marcotty,
Henry F. Ledgard:
Surveyor's Forum: A Criticism of Sampler.
ACM Comput. Surv. 9(2): 167-168 (1977) |
| 6 | | Michael Marcotty,
Henry F. Ledgard,
Gregor von Bochmann:
Corrigendum: ``A Sampler of Formal Definitions''.
ACM Comput. Surv. 9(2): 168 (1977) |
| 5 | | Michael Marcotty,
Frederick G. Sayward:
The Definition Mechanism for Standard PL/I.
IEEE Trans. Software Eng. 3(6): 416-450 (1977) |
| 1976 |
|---|
| 4 | | Michael Marcotty,
Henry F. Ledgard,
Gregor von Bochmann:
A Sampler of Formal Definitions.
ACM Comput. Surv. 8(2): 191-276 (1976) |
| 1975 |
|---|
| 3 | | Henry F. Ledgard,
Michael Marcotty:
A Genealogy of Control Structures.
Commun. ACM 18(11): 629-639 (1975) |
| 1974 |
|---|
| 2 | | Michael Marcotty,
Henrik Schutz:
The Systems Programming Language, Malus.
Softw., Pract. Exper. 4(1): 79-90 (1974) |
| 1 | | James L. Elshoff,
Robert Beckermeyer,
John Dill,
Michael Marcotty,
John Murray:
Handling Asynchronous Interrupts in a PL/1-like Language.
Softw., Pract. Exper. 4(2): 117-124 (1974) |
