Jay M. Spitzen

According to our database¹, Jay M. Spitzen authored at least 5 papers between 1972 and 1978.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1978

An Example of Hierarchical Design and Proof.

[DOI]

Commun. ACM, 1978

1976

The Specification of Assemblers.

[DOI]

IEEE Trans. Software Eng., 1976

Proving Properties of Complex Data Structures.

[DOI]

J. ACM, 1976

1974

The Verification and Synthesis of Data Structures.

[DOI]

Acta Informatica, 1974

1972

An implementation of backtracking for programming languages.

[DOI]

Proceedings of the ACM annual conference, 1972