NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
An IBM 370 assembly language program verifierThe paper describes a program written in SNOBOL which verifies the correctness of programs written in assembly language for the IBM 360 and 370 series of computers. The motivation for using assembly language as a source language for a program verifier was the realization that many errors in programs are caused by misunderstanding or ignorance of the characteristics of specific computers. The proof of correctness of a program written in assembly language must take these characteristics into account. The program has been compiled and is currently running at the Center for Academic and Administrative Computing of The George Washington University.
Document ID
19780028211
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Maurer, W. D.
(George Washington University Washington, D.C., United States)
Date Acquired
August 9, 2013
Publication Date
June 1, 1977
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Annual Technical Symposium on Systems and Software: Operational Reliability and Performance Assurance
Location: Gaithersburg, MD
Country: US
Start Date: June 2, 1977
Sponsors: National Bureau of Standards, Association for Computing Machinery
Accession Number
78A12120
Funding Number(s)
CONTRACT_GRANT: NSG-1170
CONTRACT_GRANT: NSF DCR-73-03431-A01
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available