IBM Journal of Research and Development
IBM Skip to main content
  Home     Products & services     Support & downloads     My account  

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

IBM Journal of Research and Development  
Volume 19, Number 6, Page 575 (1975)
Nontopical Issue
  Full article: arrowPDF   arrowCopyright info


Mathematical Construct for Program Reorganization

by D. P. Pazel
A mathematical formalism is described through which a program is given a symbolic representation and, with the application of several basic formulas, may be transformed into an equivalent representation giving rise to a reorganized program. Examples are given in which programs are simplified (e.g., code is reduced) or reorganized into a structured form. In effect a mathematics is described that applies to programs in much the same manner as Boolean algebra applies to switching circuits.
Related Subjects: Mathematics; Programming, programs, and programming languages