View in EDS PDF Full Text

Program Developments: Formal Explanations of Implementations.

Saved in:
Bibliographic Details
Title: Program Developments: Formal Explanations of Implementations.
Authors: Wile, David S.1, Horowitz, Ellis
Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p902-911. 10p.
Subjects: Computer programming, Algorithms, Electronic data processing, Mathematical analysis, Mathematical transformations, Differential invariants
Abstract: Automated program transformation systems are emerging as the basis fur a new programming methodology in which high-level, understandable specifications we transformed into efficient programs. Subsequent modification of the original specification will be dealt with by reimplementation of the specification. For such a system to be practical these reintplementations must occur relatively quickly and reliably in comparison with the original implementation. We believe that reimplementation requires that a formal document-the program development-be constructs during the development process explaining the resulting implementation to future maintainers of the specification. The overall goal of our work is to develop a language for capturing and explaining these developments and the resulting implementations. This language must be capable of expressing:1) the implementor's goal structure; 2) all program manipulations necessary for implementation; and 3) optimization and plans of such optimizations. We discuss the documentation requirements of the development process and then describe a prototype system jot constructing and maintaining this documentation information. Finally we indicate many remaining, open issues and the directions to be taken in the pursuit of adequate solutions. [ABSTRACT FROM AUTHOR]
Copyright of Communications of the ACM is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 5221792
AccessLevel: 6
PubType: Periodical
PubTypeId: serialPeriodical
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Program Developments: Formal Explanations of Implementations.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Wile%2C+David+S%2E%22">Wile, David S.</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Horowitz%2C+Ellis%22">Horowitz, Ellis</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Communications+of+the+ACM%22">Communications of the ACM</searchLink>. Nov83, Vol. 26 Issue 11, p902-911. 10p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programming%22">Computer programming</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+analysis%22">Mathematical analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+transformations%22">Mathematical transformations</searchLink><br /><searchLink fieldCode="DE" term="%22Differential+invariants%22">Differential invariants</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Automated program transformation systems are emerging as the basis fur a new programming methodology in which high-level, understandable specifications we transformed into efficient programs. Subsequent modification of the original specification will be dealt with by reimplementation of the specification. For such a system to be practical these reintplementations must occur relatively quickly and reliably in comparison with the original implementation. We believe that reimplementation requires that a formal document-the program development-be constructs during the development process explaining the resulting implementation to future maintainers of the specification. The overall goal of our work is to develop a language for capturing and explaining these developments and the resulting implementations. This language must be capable of expressing:1) the implementor's goal structure; 2) all program manipulations necessary for implementation; and 3) optimization and plans of such optimizations. We discuss the documentation requirements of the development process and then describe a prototype system jot constructing and maintaining this documentation information. Finally we indicate many remaining, open issues and the directions to be taken in the pursuit of adequate solutions. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Communications of the ACM is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=5221792
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/182.358443
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 902
    Subjects:
      – SubjectFull: Computer programming
        Type: general
      – SubjectFull: Algorithms
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
      – SubjectFull: Mathematical analysis
        Type: general
      – SubjectFull: Mathematical transformations
        Type: general
      – SubjectFull: Differential invariants
        Type: general
    Titles:
      – TitleFull: Program Developments: Formal Explanations of Implementations.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Wile, David S.
      – PersonEntity:
          Name:
            NameFull: Horowitz, Ellis
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov83
              Type: published
              Y: 1983
          Identifiers:
            – Type: issn-print
              Value: 00010782
          Numbering:
            – Type: volume
              Value: 26
            – Type: issue
              Value: 11
          Titles:
            – TitleFull: Communications of the ACM
              Type: main
ResultId 1