H ? « ‹ ← → › »

Language peer sets for Alphard:
United States↑
United States/1974↑
Designed 1974 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Pascals ↑
Experimental and other ↑
Pascals↑
Wirth Algols↑
Generation of Algol 60 ↑
Pascals/1974↑
Wirth Algols/1974↑
Generation of Algol 60/1974↑
Pascals/United States↑
Wirth Algols/United States↑
Generation of Algol 60/United States↑
Experimental and other ↑
Experimental and other/1974↑
Experimental and other/us ↑

Alphard(ID:634/alp010)

Pascal with data abstraction 

alternate simple view
Country: United States
Designed 1974
Published: 1974
Genus: Pascals
Sammet category: Experimental and other

named for the brightest star in Hydra

Wulf, Shaw and London, CMU 1974.

Pascal-like language for data abstraction and verification. Used the 'form', which combines a specification and an implementation. Took the generator from PL and made it a general case.

Development of the compiler was curtailed in 1979 "When it became clear that another iteration on the language design was necessary"

Places
People:
Related languages
IPL-V → Alphard   Influence
Pascal → Alphard   Based on
Alphard → CAMIL   Influence
Alphard → CLU   Influence
Alphard → LUKKO   Influence
Alphard → PLAIN   Influence
Alphard → TEMPO   Influence
References:
  • Wulf, W. A., and Shaw, M., (1973) Wulf, W. A., and Shaw, M., "Global Variable Considered Harmful," SIGLPAN Notices 8(2), February 1973
  • Wulf, William A. (1974) Wulf, William A. "Alphard: Toward a Language to Support Structured Programs". Dept. of Computer Science Tech Report AD-785 417, Carnegia-Mellon University, Pittsburgh, April 1974.
  • Wulf, W. A., (1975) Wulf, W. A., "Some Thoughts on the Next Generation of Programming Languages"
          in CMU/CSD Tenth Anniversary Symposium, Prentice-Hall (1975) CMU/CSD Tenth Anniversary Symposium, Prentice-Hall. 1975
  • Horning, J. J. (1976) Horning, J. J. "Some desirable properties of data abstraction facilities" pp60-62 Extract: Euclid Modules Extract: Modules as Abstraction Mechanisms
          in [SIGPLAN] (1976) SIGPLAN Notices 11(02) February 1976 also Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976
  • London, Ralph L., Shaw, Mary and Wulf, Wm. A. (1976) London, Ralph L., Shaw, Mary and Wulf, Wm. A. "Abstraction and Verification in Alphard: A Symbol Table Example." Carnegie-Mellon Univ 29 Dec 76 AFOSR-TR-77-0324 Abstract
          in [SIGPLAN] (1976) SIGPLAN Notices 11(02) February 1976 also Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976
  • Shaw, Mary (1976) Shaw, Mary "Research directions in abstract data structures"
          in [SIGPLAN] (1976) SIGPLAN Notices 11(02) February 1976 also Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976
  • Wulf, W.A., London, R.L., and Shaw, M., (1976) Wulf, W.A., London, R.L., and Shaw, M., "Abstraction and verification in Alphard: Introduction to language and methodology" USC Information Science Institute Technical Report, University of Southern California, Los Angeles (1976).
          in [SIGPLAN] (1976) SIGPLAN Notices 11(02) February 1976 also Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976
  • Wulf, William A.; London, Ralph L.; Shaw, Mary (1976) Wulf, William A.; London, Ralph L.; Shaw, Mary "An introduction to the construction and verification of Alphard programs" Abstract
          in [Proceedings] (1988) Proceedings of the 10th International Conference on Software Engineering, IEEE Computer Society Press, 1988
  • Foster, J. (1977) Foster, J. M. and Foster, P. D. Abstract data and functors pp161-167
          in [Proceedings] (1977) Proceedings of the Strathclyde ALGOL 68 conference Glasgow, Scotland 1977
  • Mary Shaw, William A. Wulf, (1977) Mary Shaw, William A. Wulf, "Abstraction and verification in Alphard: defining and specifying iteration and generators" Abstract
          in [ACM] (1977) [ACM] CACM 20(08) (Aug 1977)
  • Wulf W.A. et al (1977) Wulf W.A. et al "Report on the ALPHARD language", Dept. of Computer Science, Carnegie-Mellon Univ., 1977.
          in [ACM] (1977) [ACM] CACM 20(08) (Aug 1977)
  • Bentley, J.L. (1979) Bentley, J.L. and M. Shaw, An Alphard Specification of a Correct and Efficient Transformation on Data Structures, Specifications of Reliable Software Proceedings, pp222-237, IEEE, April 1979
          in [ACM] (1977) [ACM] CACM 20(08) (Aug 1977)
  • Shaw, Mary (ed.) (1981) Shaw, Mary (ed.) "Alphard: Form and Content", Springer-Verlag, New York, 1981
          in [ACM] (1977) [ACM] CACM 20(08) (Aug 1977)
  • Brinch Hansen, Per (1993) Brinch Hansen, Per "Monitors and concurrent Pascal: a personal history" pp1-35
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
  • (2002) Library of Congress Subject Headings A254
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder