J. Mack Adams

According to our database1, J. Mack Adams authored at least 11 papers between 1972 and 1990.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
A State-of-the-Art CS Undergraduate Lab.
Proceedings of the Software Engineering Education, 1990

1988
Using concept expansion and level integration in an introductory computer science course.
Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

1986
Converting from Pascal to Modula-2 in the undergraduate curriculum.
Proceedings of the 17th SIGCSE Technical Symposium on Computer Science Education, 1986

Publishing a computer science textbook (panel session).
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1982
On Proof Rules for Monitors.
ACM SIGOPS Oper. Syst. Rev., 1982

1980
Textual materials for courses in computers and society (SIGCAS).
Proceedings of the ACM 1980 Annual Conference, 1980

1979
Assertional checking and symbolic execution: An effective combination for debugging.
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1977
A General, Verifiable Iterative Control Structure.
IEEE Trans. Software Eng., 1977

1975
Teaching declarative programming.
Proceedings of the 5th SIGCSE Technical Symposium on Computer Science Education, 1975

1972
PL/I in the computer science curriculum.
Proceedings of the 2nd SIGCSE Technical Symposium on Computer Science Education, 1972

Introductory service courses in the computer science curriculum.
Proceedings of the 2nd SIGCSE Technical Symposium on Computer Science Education, 1972


  Loading...