Fundamentals of interactive computer graphics
Fundamentals of interactive computer graphics
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A formal description of the UNIX operating system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Visual programming: perspectives and approaches
IBM Systems Journal
Visual programming: perspectives and approaches
IBM Systems Journal
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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.