research-article

Free access

Specifications of computer programs using Hoare tree formalism

Authors:

Joseph E. Urban,

Edwin TowsterAuthors Info & Claims

ACMSE '77: Proceedings of the 15th annual ACM Southeast Regional Conference

Pages 414 - 425

https://doi.org/10.1145/1795396.1795454

Published: 18 April 1977 Publication History

PDF eReader

Abstract

A language for specifying programs is presented. The language uses trees that describe data in terms of data structuring methods suggested by Hoare. These trees separate input data into its constituent parts, then describe the output data in terms of these parts. Specifications can be developed top-downwards into modular specification units. Specification modules can be left undefined, resulting in a partial specification.

References

[1]

Mills, H. D. Top-down programming in large systems, in Debugging Techniques in Large Systems. Rustin, R. (ed.), Prentice-Hall, Englewood Cliffs, N.J., 1971.

Google Scholar

[2]

Dahl, O.-J., Dijkstra, E. W., and Hoare, C. A. R. Structured Programming. Academic Press, New York, 1972.

Digital Library

Google Scholar

[3]

Liskov, B. H. and Zilles, S. Specification techniques for data abstractions. SIGPLAN Notices 10, 6 (June 1975), 72--57.

Google Scholar

[4]

Noonan, R. E. Structured programming and formal specification. IEEE Trans. on Software Engineering 1, 4 (Dec. 1975), 421--425.

Google Scholar

[5]

Ziegler, E. W. An introduction to the UMTA specification language, SIGPLAN Notices, 9, 4 (April 1974), 127--132.

Digital Library

Google Scholar

[6]

Hoare, C. A. R. Data reliability. SIGPLAN Notices 10, 6 (June 1975), 528--533.

Digital Library

Google Scholar

[7]

Jensen, K. and Wirth, N. PASCAL -- User Manual and Report. Springer-Verlag, New York, 1975.

Digital Library

Google Scholar

[8]

Henderson, P. and Snowden, R. An experiment in structured programming. BIT 12 (1972), 38--53.

Digital Library

Google Scholar

[9]

Griswold, R. E., Poage, J. F., and Polansky, I. P. The Snobol Programming Language. Prentice-Hall, Englewood Cliffs, N.J., 1968, Chapter 2.

Digital Library

Google Scholar

Cited By

View all

Urban JHankyu Joo (1995)Executable specifications for distributed software systemsProceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems10.1109/FTDCS.1995.524993(257-265)Online publication date: 1995
https://doi.org/10.1109/FTDCS.1995.524993

Index Terms

Specifications of computer programs using Hoare tree formalism
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software notations and tools
    1. General programming languages
      1. Language features
2. Theory of computation
  1. Logic
  2. Semantics and reasoning
    1. Program constructs
    2. Program reasoning

Recommendations

Compilation of Nonprocedural Specifications into Computer Programs

The paper describes the compilation of a program specification, written in the very high level nonprocedural MODEL language, into an object, PL/1 or Cobol, procedural language program. Nonprocedural programming languages are descriptive and devoid of ...
Formalized structured analysis specifications
Compiling Modechart specifications
RTSS '95: Proceedings of the 16th IEEE Real-Time Systems Symposium

The Modechart specification language is a formalism for the specification of real-time systems. A toolset for specification, analysis and simulation for Modechart specifications exists for supporting the design and construction of real-time systems. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACMSE '77: Proceedings of the 15th annual ACM Southeast Regional Conference

April 1977

547 pages

ISBN:9781450373029

DOI:10.1145/1795396

Conference Chair:
Danny R. Carter
University of Southern Mississippi

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: 18 April 1977

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

ACMSE '77

Sponsor:

April 18 - 20, 1977

Acceptance Rates

ACMSE '77 Paper Acceptance Rate 22 of 88 submissions, 25%;

Overall Acceptance Rate 502 of 1,023 submissions, 49%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
104
Total Downloads

Downloads (Last 12 months)39
Downloads (Last 6 weeks)4

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Urban JHankyu Joo (1995)Executable specifications for distributed software systemsProceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems10.1109/FTDCS.1995.524993(257-265)Online publication date: 1995
https://doi.org/10.1109/FTDCS.1995.524993

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.

Cited By

Index Terms

Recommendations

Compilation of Nonprocedural Specifications into Computer Programs

Formalized structured analysis specifications

Compiling Modechart specifications