A formal description of SYSTEM/360

Authors:
A. D. Falkoff;K. E. Iverson;E. H. Sussenguth
Affiliations:
Thomas J. Watson Research Center, Yorktown Heights, New York;Thomas J. Watson Research Center, Yorktown Heights, New York;Thomas J. Watson Research Center, Yorktown Heights, New York
Venue:
IBM Systems Journal
Year:
1964

Citing 2
Cited 8

Algorithms for Parallel-Search Memories

Journal of the ACM (JACM)
A programming language

A programming language

System on Chip Specification and Design Languages Standardization

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems

IEEE Transactions on Computers
Methods Used in an Automatic Logic Design Generator (ALERT)

IEEE Transactions on Computers
Microprogram Transformations

IEEE Transactions on Computers
System Description Languages

IEEE Transactions on Computers
A uniform way of reasoning about array-based computation in radar: Algebraically connecting the hardware/software boundary

Digital Signal Processing
Microprogrammed arrays

IEEE Transactions on Computers
The APL\360 terminal system

Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium

Quantified Score

Hi-index	0.02

Visualization

Abstract

All SYSTEM/360 functional characteristics having programming significance are completely and concisely described. The description, which is formal rather than verbal, is accomplished by a set of programs, interacting through common variables, used in conjunction with auxiliary tables. The language used in the programs involves operators and notation selected from mathematics and logic, together with additional operators and conventions defined to facilitate system description. Although the formal description is complete and self-contained, text is provided as an aid to initial study. Examples to illustrate the application of the formal description are given in an appendix.