article

Free access

Triform programs

Author:

Dan W. CrockettAuthors Info & Claims

Communications of the ACM, Volume 24, Issue 6

Pages 344 - 350

https://doi.org/10.1145/358669.358673

Published: 01 June 1981 Publication History

PDF eReader

Abstract

The concept that three process functions—initialization, production, and completion—and a separate supervisory control function are sufficient to describe the execution of a program is the basis for Triform Program design. Triform programs are composed of modules arranged in a trifurcate tree structure with each branch devoted to the performance of one and only one of the process functions. The root of the program tree is a control module which supervises process-function execution. Such trifurcate tree structures are shown to be minimum complexity structures.

References

[1]

Flon, L. On research in structured programming. A CM SIGPLAN Notices (Oct. 1975), 16.

Digital Library

Google Scholar

[2]

Turner, J. The structure of modular programs. Computing Practices. Comm. A CM 23, 5 (May 1980), 272-277.

Digital Library

Google Scholar

[3]

Miller, E.F., and Lindamood, G.E. Structured programming: Top-down approach. Datamation (Dec. 1973), 55-57.

Google Scholar

[4]

Constantine, L.L. Integral hardware/ software design. Modern Data Systs. (a sixpart series beginning in April 1968).

Google Scholar

[5]

Constantine, L.L. Modularity and hierarchy. TR-7-09/8, Inform. and Systs. Inst., Inc., Cambridge, Mass.

Google Scholar

[6]

Stevens, W.P., Myers, G.J., and Constantine, L.L. Structured design. IBM Systs. J. 13, 2 (1974), 115-139.

Digital Library

Google Scholar

[7]

Tenny, T.C. Structured programming in FORTRAN. Datamation (July 1974), 110- 115.

Google Scholar

[8]

Yourdon, E., and Constantine, L.L. Structured Design. Yourdon, Inc., New York, 1975.

Google Scholar

[9]

Kapur, G. Toward software engineering. Computerworld (Nov. 12, 1979), 57-66.

Google Scholar

Cited By

View all

Cam-Winget NHousley RWagner DWalker J(2003)Security flaws in 802.11 data link protocolsCommunications of the ACM10.1145/769800.76982346:5(35-39)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1145/769800.769823
Housley RArbaugh W(2003)Security problems in 802.11-based networksCommunications of the ACM10.1145/769800.76982246:5(31-34)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1145/769800.769822
Heinz SZobel JWilliams H(2002)Burst triesACM Transactions on Information Systems10.1145/506309.50631220:2(192-223)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/506309.506312
Show More Cited By

Index Terms

Triform programs
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
      2. Software implementation planning
        Software design techniques
    2. Software development process management
2. Theory of computation
  1. Logic
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

Traversing Binary Tree Structures with Shift-Register Memories

The paper proposes a tree-structured shift-register memory which employs two different data permutation operations to perform pre-/post-order traversals of binary tree structures.
Tidier Drawings of Trees

Various algorithms have been proposed for producing tidy drawings of trees-drawings that are aesthetically pleasing and use minimum drawing space. We show that these algorithms contain some difficulties that lead to aesthetically unpleasing, wider than ...
Tree Structures and Algorithms for Physical Design
ISPD '18: Proceedings of the 2018 International Symposium on Physical Design

Tree structures and algorithms provide a fundamental and powerful data abstraction and methods for computer science and operations research. In particular, they enable significant advancement of IC physical design techniques and design optimization. For ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 24, Issue 6

June 1981

59 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/358669

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago, IL

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1981

Published in CACM Volume 24, Issue 6

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
282
Total Downloads

Downloads (Last 12 months)70
Downloads (Last 6 weeks)6

Reflects downloads up to 16 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cam-Winget NHousley RWagner DWalker J(2003)Security flaws in 802.11 data link protocolsCommunications of the ACM10.1145/769800.76982346:5(35-39)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1145/769800.769823
Housley RArbaugh W(2003)Security problems in 802.11-based networksCommunications of the ACM10.1145/769800.76982246:5(31-34)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1145/769800.769822
Heinz SZobel JWilliams H(2002)Burst triesACM Transactions on Information Systems10.1145/506309.50631220:2(192-223)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/506309.506312
Varakantham PGangwani SKarlapalem K(2001)On handling component and transaction failures in multi agent systemsACM SIGecom Exchanges10.1145/844331.8443363:1(32-43)Online publication date: 1-Dec-2001
https://dl.acm.org/doi/10.1145/844331.844336
Maximilien ESingh M(2001)Reputation and endorsement for web servicesACM SIGecom Exchanges10.1145/844331.8443353:1(24-31)Online publication date: 1-Dec-2001
https://dl.acm.org/doi/10.1145/844331.844335
Verdicchio MColombetti M(2001)Commitments for agent-based supply chain managementACM SIGecom Exchanges10.1145/844331.8443343:1(13-23)Online publication date: 1-Dec-2001
https://dl.acm.org/doi/10.1145/844331.844334
Järvinen P(1996)Two frameworks for task analysis: An application to the use of intelligent systems in the development of information systemsAdvanced IT Tools10.1007/978-0-387-34979-4_51(461-468)Online publication date: 1996
https://doi.org/10.1007/978-0-387-34979-4_51
Parkes A(1989)Settings and the setting structure: the description and automated propagation of networks for perusing videodisk image statesACM SIGIR Forum10.1145/75335.7535923:SI(229-238)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/75335.75359
Timpka TPadgham LHedblom PWallin STibblin T(1989)A hypertext knowledge based for primary care - LIMEDS in LINCKSACM SIGIR Forum10.1145/75335.7535823:SI(221-228)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/75335.75358
Maarek YSmadja F(1989)Full text indexing based on lexical relations an application: software librariesACM SIGIR Forum10.1145/75335.7535523:SI(198-206)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/75335.75355
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Traversing Binary Tree Structures with Shift-Register Memories

Tidier Drawings of Trees

Tree Structures and Algorithms for Physical Design

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations