J. Mack Adams

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