GYPSY: A language for specification and implementation of verifiable programs

Proceedings of an ACM Conference on Language Design for Reliable Software 1977

Volumn , Issue , 1977, Pages 1-10

  Ambler, Allen L ^a   Good, Donald I ^b   Browne, James C ^b   Burger, Wilhelm F ^b   Cohen, Richard M ^b   Hoch, Charles G ^b   Wells, Robert E ^b  

^a Amdahl Corporation   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Communications processing; Concurrency; Formal specification; Program proof; Programming language; Run time validation; Specification language; Systems programming; Verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FORMAL SPECIFICATION; SPECIFICATION LANGUAGES; VERIFICATION;

COMMUNICATIONS PROCESSING; CONCURRENCY; GENERAL PROGRAMMING; HIGH-LEVEL PROGRAMMING LANGUAGE; IMPERFECT ENVIRONMENTS; PROCESS SYNCHRONIZATION; PROGRAM PROOF; RUN-TIME VALIDATION;

HIGH LEVEL LANGUAGES;

EID: 84976686148     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800022.808306     Document Type: Conference Paper

References (24)

1. Ambler, A.L., Good, D.I., Burger, W.F. "Report on the Lannuage Gypsy". ICSCA-CHP-I, The University of Texas at Austin, (1976).
2. Ambler, A.L., Hoch, C.G. "A Study of Protection in Programming Lannuages, " ICSCA-CMP-3, The University of Texas at Austin, (1976).
3. Brinch Hansen, P. "The flucleus of a Multiprogramming System, " CACH 13, 4 (1970).
4. Brinch Hansen, P. "Operating Systems Principles, " Prentice-Hall (1973).
5. Brinch Hansen, P. "The Purpose of Concurrent Pascal, " Proceedings ICRS (1975).
6. Buxton, J.N. And Randell, B., eds. "Software Engineering Techniques", IIATO Science Committee (1970).
7. Clint, M. "Program Proving: Co-routines, " Acta Informatica. 2 (1973).
8. Dahl, O.J. "Notes on Data Structuring, " Dahl, Dijkstra, and Hoare, Structured Programming, Academic Press (1972).
9. Dijkstra, E.W. "Guarded Cormlands, l, londetermi nacy, and Formal Derivation of Programs, " CACM, 8 (1975).
10. Flon, L. "A Survey of Some Issues Concerning Abstract Data Types, " Technical Report, Carnegi e-l'lell on (1974).
11. Good, D.I. And Ragland, L.C. "Hucleus-A Language for Provable Programs, " Program Test .lethods, Hetzel (ed.), Prentice-Hall {1973).
12. Igarashi, S., London, R.L., and Luckham, D.C. "Automatic Program Verification I: A Lonical Basis and Its Implementation, " Report ISI/RR-73-11, USC, Information Science Institute (1973).
13. Jensen, K. And Mirth, I, "Pascal User Manual and Report, " Springer Verlag (1974).
14. Lampson, B.W., Horning, J.J., LondOn, R.L., I Mitchell, J.G., and Popek, G.J. "Report on the Programming Language Euclid", Xerox Research Center, August, 1976.
15. Liskov, B. And Zilles, S. "An Approach to Abstraction, " Computation Structures Group Hemo 8L, illT (1973).
16. Lyle, D.N. "A Hierarchy of High Order Languages for Systems Programming, " Proceeds of SIGPLAt Symposium on Languages for Systems Implementation (1971).
17. Randell, B. "System Structure for Software Fault Tolerance, " Proceedings ICRS (1975).
18. Stucki, L.G. "Testing Impact on the Future of Software Engineering, " Proceeds of Fourth Texas Conference on CopDutin9 Systems, University of Texas (1975).
19. van Wijngaarden, A. "Report on the Algorithmic Language ALGOL 68, ", Humerische Hathematik, 14 (1969).
20. Wells, R. "The Specification and Implementation of a Verifiable Communications System", (lasters Thesis, The University of Texas at Austin, 1976.
21. Iulf, W.A., Russell, D.B., and Haberann, A. I. "BLISS: A Language for System, s Programmind, " CACH 14, 12 (1971).
22. Wulf, l l.A., Levin, R., and Pierson, C. "Overview of the Hydra Operating System Development, " Proceedings of Fifth Symposium on Operating Systems Principles, (1975).
23. Wulf, W.A., London, R.L., and Shaw,. "Abstraction and Verification in Alphard: Introduction to Language and iethodology, " Research Report ISI/RR-76-46, ARPA, (1976).
24. Zahn, C.T. "A Control Statement for Natural Top-Down Structured Programming, " Symposium on Programming Languages (1974).