Johannes J. Martin

According to our database, Johannes J. Martin authored at least 10 papers between 1970 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1990

The Hoare and Smith Power Domain Constructors Commute under Composition.

Kevin E. Flannery, Johannes J. Martin

J. Comput. Syst. Sci., 1990

1983

MULTISAFE - A Modular Multiprocessing Approach to Secure Database Management.

Robert P. Trueblood, H. Rex Hartson, Johannes J. Martin

ACM Trans. Database Syst., 1983

Precise Typing and Filters.

Johannes J. Martin

Inf. Process. Lett., 1983

1982

An Efficient Garbage Compaction Algorithm.

Johannes J. Martin

Commun. ACM, 1982

1980

FAD, a functional programming language that supports abstract data types.

Johannes J. Martin

Proceedings of the ACM 1980 Annual Conference, 1980

1974

Aspects of Generality and Efficiency in Programming Language Implementation.

Johannes J. Martin

Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974

Generalized structured programming.

Johannes J. Martin

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973

The 'natural' set of basic control structures.

Johannes J. Martin

ACM SIGPLAN Notices, 1973

Student help and automatic grading: The organization of a large service course.

Johannes J. Martin, Therese Martin

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973

1970

Information Compressing Procedures for Storing Binary Relations.

Johannes J. Martin

Proceedings of the Record of the 1970 ACM SIGFIDET Workshop on Data Description and Access, 1970