article

Free access

IDEOSY: An Ideographic and Interactive Program Description System

Authors:

Alessandro Giacalone,

Martin C. Rinard,

Thomas W. Doeppner, Jr.Authors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 9, Issue 3

Pages 15 - 20

https://doi.org/10.1145/390010.808244

Published: 25 April 1984 Publication History

PDF eReader

Abstract

IDEOSY is an experiment in the use of a formal semantics as the basis for a programming system and in use of an ideographic language as the primary means of user-computer communication. The important characteristics of our system are that it uses an ideographic syntax, has a syntax-directed editor, supports the definition of various equivalence properties and the proofs of such equivalence, and has an interpreter. It currently runs on Apollo workstations and on VAXes running Berkeley UNIX@ using any of a variety of high-resolution color displays.

Our formalism is based on Milner's Calculus of Communicating Systems (CCS) [1]. We have found CCS to be a convenient formalism for describing programs and have even used it for describing the UNIX operating system [2]. Its algebraic properties are very useful for building descriptions out of components and for proving the equivalence of descriptions. Since CCS is an operational semantics, we may directly interpret descriptions written in CCS.

References

[1]

Milner, R.: A Calculus of Communicating Systems, Springer-Verlag, Lect. Notes in Comp. Sci. 92, 1980.

Digital Library

Google Scholar

[2]

Doeppner, T.W., Jr., Giacalone, A.: A Formal Definition of the UNIX Operating System, Second ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, August 1983.

Digital Library

Google Scholar

[3]

Giacalone, A., Kovaes, I.D.: IDCCS: An Ideographic Syntax for CCS, Brown University, Dept. of Computer Science, Tech. Rep. CS-83-05, Feb. 83.

Google Scholar

[4]

Giacalone, A.: An Approach and Some Experiments Towards the Support of Formal Specifications in Integrated Programming Environments, Unpublished Ph.D. thesis, Brown University, April 1984.

Google Scholar

[5]

Foley, J.D., van Dam, A.: Fundamentals of Interactive Computer Graphics, Addison Wesley, 1982.

Digital Library

Google Scholar

Index Terms

IDEOSY: An Ideographic and Interactive Program Description System

Recommendations

IDEOSY: An Ideographic and Interactive Program Description System
SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

IDEOSY is an experiment in the use of a formal semantics as the basis for a programming system and in use of an ideographic language as the primary means of user-computer communication. The important characteristics of our system are that it uses an ...
IDEOSY: An Ideographic and Interactive Program Description System

IDEOSY is an experiment in the use of a formal semantics as the basis for a programming system and in use of an ideographic language as the primary means of user-computer communication. The important characteristics of our system are that it uses an ...
A Formal Framework for ASTRAL Intralevel Proof Obligations

ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 9, Issue 3

May 1984

196 pages

ISSN:0163-5948

DOI:10.1145/390010

Editor:
Peter Henderson

Issue’s Table of Contents

SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
April 1984
196 pages
ISBN:0897911318
DOI:10.1145/800020
Chairmen:
William Riddle,
Peter B. Henderson

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: 25 April 1984

Published in SIGSOFT Volume 9, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
438
Total Downloads

Downloads (Last 12 months)164
Downloads (Last 6 weeks)65

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

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

Index Terms

Recommendations