Affiliation:
1. Amdahl Corporation
2. The University of Texas at Austin
Abstract
An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward communications processing. This includes facilities for concurrent processes and process synchronization. Gypsy also contains facilities for detecting and processing errors that are due to the actual running of the program in an imperfect environment. The specification facilities give a precise way of expressing the desired properties of the Gypsy programs. All of the features of Gypsy are fully verifiable, either by formal proof or by validation at run time. An overview of the language design and a detailed example program are given.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference22 articles.
1. Ambler A.L. Good D.I. Burger W.F. "Report on the Language Gypsy". ICSCA-CMP-1 The University of Texas at Austin (1976). Ambler A.L. Good D.I. Burger W.F. "Report on the Language Gypsy". ICSCA-CMP-1 The University of Texas at Austin (1976).
2. Ambler A.L. Hoch C.G. "A Study of Protection in Programming Languages " ICSCA-CMP-3 The University of Texas at Austin (1976). Ambler A.L. Hoch C.G. "A Study of Protection in Programming Languages " ICSCA-CMP-3 The University of Texas at Austin (1976).
3. The nucleus of a multiprogramming system
4. Brinch Hansen P. "Operating Systems Principles " Prentice-Hall (1973). Brinch Hansen P. "Operating Systems Principles " Prentice-Hall (1973).
5. The purpose of concurrent Pascal
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献