James M. Morris

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1990

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.

[BibT_eX]

[DOI]

Proceedings of the Computer-Aided Verification, 1990

1988

Algebraic operational semantics for Modula 2.

[BibT_eX]

[DOI]

PhD thesis, 1988

1987

Algebraic Operational Semantics and Modula-2.

[BibT_eX]

[DOI]

Proceedings of the CSL '87, 1987