J. Mack Adams

Publication Activity (10 Years)

Years Active: 1972-1990
Publications (10 Years): 0

Publications

J. Mack Adams, Barry L. Kurtz
A State-of-the-Art CS Undergraduate Lab. CSEE (1990)
Barry L. Kurtz, J. Mack Adams
Using concept expansion and level integration in an introductory computer science course. SIGCSE (1988)
Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm G. Lane, Karen A. Lemone, James Quasney, Don Spencer
Publishing a computer science textbook (panel session). ACM Conference on Computer Science (1986)
Philippe J. Gabrini, J. Mack Adams, Barry L. Kurtz
Converting from Pascal to Modula-2 in the undergraduate curriculum. SIGCSE (1986)
J. Mack Adams, Andrew P. Black
On Proof Rules for Monitors. ACM SIGOPS Oper. Syst. Rev. 16 (2) (1982)
William F. Atchison, Gerald L. Engel, Stephen Guty, J. Mack Adams, Stephen Cline
Textual materials for courses in computers and society (SIGCAS). ACM Annual Conference (1980)
J. Mack Adams, James Armstrong, Melissa Smartt
Assertional checking and symbolic execution: An effective combination for debugging. ACM Annual Conference (1979)
J. Mack Adams
A General, Verifiable Iterative Control Structure. IEEE Trans. Software Eng. 3 (2) (1977)
J. Mack Adams
Teaching declarative programming. SIGCSE (1975)
J. Mack Adams, William H. Inmon, Jim Shirley
PL/I in the computer science curriculum. SIGCSE (1972)
J. Mack Adams, Douglas H. Haden
Introductory service courses in the computer science curriculum. SIGCSE (1972)