This paper presents a precise formal description of a complete computer system, the IBM SYSTEM/360 The description is functional: it describes the behavior of the machine as seen by the programmer, irrespective of any particular physical implemention, and expressly specifies the state of every register or facility accessible to the programmer for every moment of system operation at which this information is actually available.
No takes yet. Share an insight, caveat, or question.
Falkoff et al. (1964) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: