Jay M. Spitzen

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1978

An Example of Hierarchical Design and Proof.

[BibT_eX]

[DOI]

Jay M. Spitzen

Karl N. Levitt

Lawrence Robinson

Commun. ACM, 1978

1976

The Specification of Assemblers.

[BibT_eX]

[DOI]

Jay M. Spitzen

IEEE Trans. Software Eng., 1976

Proving Properties of Complex Data Structures.

[BibT_eX]

[DOI]

Ben Wegbreit

Jay M. Spitzen

J. ACM, 1976

1974

The Verification and Synthesis of Data Structures.

[BibT_eX]

[DOI]

Jay M. Spitzen

Ben Wegbreit

Acta Informatica, 1974

1972

An implementation of backtracking for programming languages.

[BibT_eX]

[DOI]

Charles J. Prenner

Jay M. Spitzen

Ben Wegbreit

ACM SIGPLAN Notices, 1972

Jay M. Spitzen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...