Jay M. Spitzen

Publication Activity (10 Years)

Years Active: 1972-1978
Publications (10 Years): 0

Publications

Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson
An Example of Hierarchical Design and Proof. Commun. ACM 21 (12) (1978)
Jay M. Spitzen
The Specification of Assemblers. IEEE Trans. Software Eng. 2 (1) (1976)
Ben Wegbreit, Jay M. Spitzen
Proving Properties of Complex Data Structures. J. ACM 23 (2) (1976)
Jay M. Spitzen, Ben Wegbreit
The Verification and Synthesis of Data Structures. Acta Informatica 4 (1974)
Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit
An implementation of backtracking for programming languages. ACM SIGPLAN Notices 7 (11) (1972)
Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit
An implementation of backtracking for programming languages. ACM Annual Conference (2) (1972)