H ? « ‹ ← → › »

Language peer sets for Gypsy:
United States↑
United States/1976↑
Designed 1976 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

Gypsy(ID:720/gyp001)

Concurrency language with verification 

alternate simple view
Country: United States
Designed 1976
Published: 1976

Specification and verification of concurrent systems software. Message passing using named mailboxes. Separately compilable units: routine (procedure, function, or process), type and constant definition, each with a list of access rights.

University of Texas in Austin

Structures:
Related languages
Gypsy → PLAIN   Influence
References:
  • Ambler A.L. et al, (1976) Ambler A.L. et al, "Report on the Language Gypsy", UT Austin ICSCS-CMP-1 Aug 1976.
  • Ambler, A.L., Hoch, C.G., (1976) Ambler, A.L., Hoch, C.G., "A Study of Protection in Programming Languages," ICSCA-CMP-3, The University of Texas at Austin, (1976).
  • Allen L. Ambler et al (1977) Allen L. Ambler et al "Gypsy: A language for specification and implementation of verifiable programs" DOI Abstract
          in [ACM] (1977) Proceedings of an ACM conference on Language design for reliable software 1977, Raleigh, North Carolina
  • Good, D.I. and Cohen, R.M. (1978) Good, D.I. and Cohen, R.M. "Verifiable Communications Processing in Gypsy", in Proceedings of Compcon, '78, September, 1978
          in [ACM] (1977) Proceedings of an ACM conference on Language design for reliable software 1977, Raleigh, North Carolina
  • Good, Donald I.; Cohen, Richard M.; Hunter, Lawren (1978) Good, Donald I.; Cohen, Richard M.; Hunter, Lawrence W. "A Report On The Development Of Gypsy" pp116-122 Abstract
          in [Proceedings] (1978) Proceedings of the 1978 annual conference 1978, Washington, D.C., United States
  • D. I. Good, R. M. Cohen, and J. Keeton-Williams, (1979) D. I. Good, R. M. Cohen, and J. Keeton-Williams, "Principles of Proving Concurrent Programs in Gypsy," Certifiable Minicomputer Project Report ICSCA-CA-15. The Institute for Computing Science and Computer Applications, the University of Texas at Austin (January 1979).
          in [Proceedings] (1978) Proceedings of the 1978 annual conference 1978, Washington, D.C., United States
  • Young, W. D.; Tripathi, A. R.; Good, D. I.; and Br (1979) Young, W. D.; Tripathi, A. R.; Good, D. I.; and Browne, J. C. "Evaluation of verifiability in HAL/S programming language for aerospace computers" Computers in Aerospace Conference, 2nd, Los Angeles, Calif., October 22-24, 1979, Technical Papers pp359-366 NSG-1479 Extract: Testing HAL/S with Gypsy
          in [Proceedings] (1978) Proceedings of the 1978 annual conference 1978, Washington, D.C., United States
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder