IBM Systems Journal - 2002 Copyright

IBM Skip to main content
  Home     Products & services     Support & downloads     My account  

  Select a country  
Journals Home  
  Systems Journal  
    Current Issue  
    Recent Issues  
    Papers in Progress  
    Author's Guide  
Journal of Research
and Development
  Contact Us  
  Related links:  
     IBM Research  

IBM Journal of Research and Development  
Volume 3, Number 2/3, Page 198 (1964)
  Full article: arrowPDF   arrowCopyright info


A formal description of SYSTEM/360

by A. D. Falkoff, K. E. Iverson, E. H. Sussenguth
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.
Related Subjects: Architecture; Languages; Programming