James M. Morris

According to our database, James M. Morris authored at least 3 papers between 1987 and 1990.

Collaborative distances:

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

1990

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.

James M. Morris, Mark Howard

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988

Algebraic operational semantics for Modula 2.

James M. Morris

PhD thesis, 1988

1987

Algebraic Operational Semantics and Modula-2.

Yuri Gurevich, James M. Morris

Proceedings of the CSL '87, 1987