Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Data types and program correctness

Data types and program correctness SIGPLAN Notices 1975 Jul y Data types and program correctness * by BARBARA H . LISKO V Massachusetts Institute of Technology Cambridge, Massachusett s One of the most important current software issues is re liability, and accordingly, a major criterion of programming language design must be that the language contribut e to the production of reliable programs. Although there ar e other important aspects of software reliability (e .g ., faul t tolerance), the most fundamental is program correctness : does the program do what it is supposed to do? A languag e can contribute to this goal by enhancing the provability o f its programs . This paper discusses the impact of user-defined data types on program provability . The principal motivation for having a language suppor t user-defined data types is that they contribute to softwar e reliability by enhancing the programmer's ability to us e abstraction in writing programs . Abstraction plays a n extremely important role in programming because it is th e main tool available for controlling the complexity of pro grams . Thus the process of structured programming' i s based primarily on recognition of useful abstractions . Th e abstractions provide http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGPLAN Notices Association for Computing Machinery

Data types and program correctness

ACM SIGPLAN Notices , Volume 10 (7) – Jul 1, 1975

Loading next page...
 
/lp/association-for-computing-machinery/data-types-and-program-correctness-F9aiqEe8ka

References (14)

Publisher
Association for Computing Machinery
Copyright
Copyright © 1975 by ACM Inc.
ISSN
0362-1340
DOI
10.1145/987305.987309
Publisher site
See Article on Publisher Site

Abstract

SIGPLAN Notices 1975 Jul y Data types and program correctness * by BARBARA H . LISKO V Massachusetts Institute of Technology Cambridge, Massachusett s One of the most important current software issues is re liability, and accordingly, a major criterion of programming language design must be that the language contribut e to the production of reliable programs. Although there ar e other important aspects of software reliability (e .g ., faul t tolerance), the most fundamental is program correctness : does the program do what it is supposed to do? A languag e can contribute to this goal by enhancing the provability o f its programs . This paper discusses the impact of user-defined data types on program provability . The principal motivation for having a language suppor t user-defined data types is that they contribute to softwar e reliability by enhancing the programmer's ability to us e abstraction in writing programs . Abstraction plays a n extremely important role in programming because it is th e main tool available for controlling the complexity of pro grams . Thus the process of structured programming' i s based primarily on recognition of useful abstractions . Th e abstractions provide

Journal

ACM SIGPLAN NoticesAssociation for Computing Machinery

Published: Jul 1, 1975

There are no references for this article.