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 10, Number 1, Page 2 (1971)
Nontopical Issue
  Full article: arrowPDF   arrowCopyright info


The application of formal logic to programs and programming

by C. D. Allen
The use of first-order predicate calculus in proving correctness and other properties of programs is shown to be possible in practical situations. The necessary concepts and theory are explained, and some practical examples worked through.
Related Subjects: Mathematical Methods; Programming