Publication History

  • Mary Shaw

Abstract

The Alphard research on abstraction techniques has been presented in a number of articles and reports. These appeared over a period of several years, and the language was evolving as the papers were written. A discussion of the chronology of these papers may help to clarify the relations among them.

Keywords

Encapsulation Mellon 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Chronological Bibliography

  1. [1]
    William Wulf and Mary Shaw. “Global Variable Considered Harmful.” ACM SIGPLAN Notices, 8, 2 (February, 1973), pp. 28–34.CrossRefGoogle Scholar
  2. [2]
    William A. Wulf. “Alphard: Toward a Language to Support Structured Programs.” Carnegie-Mellon University Technical Report, April 1974.Google Scholar
  3. [3]
    Wm. A. Wulf, Ralph L. London, and Mary Shaw. “Abstraction and Verification in Alphard.” New Directions in Algorithmic Languages - 1975, prepared for IFIP Working Group 2.1 by Stephen A. Schuman (ed.), Institut de Recherche d’Informatique et d’Automatique, 1976, pp. 217–295. This was a draft version; it was subsequently subdivided into [4,5,11].Google Scholar
  4. [4]
    Wm. A. Wulf, Ralph L. London, and Mary Shaw. “Abstraction and Verification in Alphard: Introduction to Language and Methodology.” Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, June 1976. An abbreviated version appeared in IEEE Transactions of Software Engineering, December 1976 [8].Google Scholar
  5. [5]
    Mary Shaw, Wm. A. Wulf, and Ralph L. London. “Abstraction and Verification in Alphard: Iteration and Generators.” Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, August 1976. An abbreviated version appeared in Communications of the ACM, August 1977 [9].Google Scholar
  6. [6]
    Mary Shaw. “Abstraction and Verification in Alphard: Design and Verification of a Tree Handler.” Carnegie-Mellon University Technical Report, June 1976. Proc. Fifth Texas Conference on Computing Systems, University of Texas at Austin, October 1976, pp. 86–94. Reprinted in Seminaires IRIA: Langages et Traducteurs - 1977, Institut de Recherche d’Informatique et d’Automatique, 1978, pp. 135–155.Google Scholar
  7. [7]
    Ralph L. London. “Remarks on the Impact of Program Verification on Language Design.” In Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976, J. H. Williams and D. A. Fisher (eds.), Springer-Verlag Lecture Notes in Computer Science 54, 1977, pp. 313–320.Google Scholar
  8. [8]
    Wm. A. Wulf, Ralph L. London, and Mary Shaw. “An Introduction to the Construction and Verification of Alphard Programs.” IEEE Transactions on Software Engineering, SE-2, 4 (December 1976), pp. 253–265. Presented at Second International Conference on Software Engineering, October 1976.Google Scholar
  9. [9]
    William A. Wulf, Mary Shaw, and Ralph L. London. “Achieving Quality Software: Reflections on the Aims and Objectives of Alphard.” Computer Science Research Review, Carnegie- Mellon University, (December 1976), pp. 7–15. Reprinted in Tutorial: Programming Language Design, text for IEEE Tutorial by Anthony I. Wasserman, 1980, pp. 29–37.Google Scholar
  10. [10]
    Mary Shaw, Wm. A. Wulf, and Ralph L. London. “Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.” Communications of the ACM, 20, 8 (August 1977), pp. 553–564. Presented at ACM Conference on Language Design for Reliable Software, March 1977. Reprinted in Tutorial: Programming Language Design, text for IEEE Tutorial by Anthony I. Wasserman, 1980, pp. 145–155.Google Scholar
  11. [11]
    Paul Hilfinger, Gary Feldman, Robert Fitzgerald, Izumi Kimura, Ralph L. London, KVS Prasad, VR Prasad, Jonathan Rosenberg, Mary Shaw, and Wm. A. Wulf (editor). “(Preliminary) An Informal Definition of Alphard.” Carnegie-Mellon University Technical Report, February 1978.Google Scholar
  12. [12]
    Ralph L. London, Mary Shaw, and Wm. A. Wulf. “Abstraction and Verification in Alphard: A Symbol Table Example.” Carnegie-Mellon University and USC Information Sciences Institute Technical Reports, December 1976. In Constructing Quality Software, Proc. of IFIP TC 2 Working Conference, P. G. Hibbard and S. A. Schuman (eds.), North Holland, 1978, pp. 319–351. Russian translation 1978.Google Scholar
  13. [13]
    Jon L. Bentley and Mary Shaw. “An Alphard Specification of a Correct and Efficient Transformation on Data Structures.” Carnegie-Mellon University Technical Report, December 1978. Proceedings of the IEEE Conference on Specifications of Reliable Software, April 1979, pp. 222–257. IEEE Transactions of Software Engineering, SE-6, 6 (November 1980), pp. 572–584.Google Scholar
  14. [14]
    Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul Hilfinger, Izumi Kimura, Ralph London, Jonathan Rosenberg, and Wm. A. Wulf. “Validating the Utility of Abstraction Techniques.” Proc. of ACM National Conference, December 1978, pp. 106–110 (invited paper for panel on “Recent Experience and Development in Language Design for Reliable Software”).Google Scholar
  15. [15]
    Mary Shaw and Wm. A. Wulf. “Toward Relaxing Assumptions in Languages and Their Implementations.” Carnegie-Mellon University Technical Report, January 1980. ACM SIGPLAN Notices, 15, 3 (March 1980), pp. 45–61.CrossRefGoogle Scholar
  16. [16]
    Mary Shaw (ed.). Alphard: Form and Content. Springer-Verlag, 1981.MATHGoogle Scholar

Copyright information

© Springer-Verlag New York Inc. 1981

Authors and Affiliations

  • Mary Shaw
    • 1
  1. 1.Computer Science DepartmentCarnegie-Mellon UniversityPittsburghUSA

Personalised recommendations