| Early experience with Mesa |
| Full text |
Pdf
(1.46 MB)
|
Source
|
Communications of the ACM
archive
Volume 20 , Issue 8 (August 1977)
table of contents
Pages: 540 - 553
Year of Publication: 1977
ISSN:0001-0782
|
|
Authors
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 9, Downloads (12 Months): 51, Citation Count: 60
|
|
|
ABSTRACT
The experiences of Mesa's first users—primarily its implementers—are discussed, and some implications for Mesa and similar programming languages are suggested. The specific topics addressed are: module structure and its use in defining abstractions, data-structuring facilities in Mesa, an equivalence algorithm for types and type coercions, the benefits of the type system and why it is breached occasionally, and the difficulty of making the treatment of variant records safe.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
 |
2
|
|
| |
3
|
Geschke, C., and Mitchell, J. On the problem of uniform references to data structures. 1EEE Trans. Software Eng. SE-1, 2 (June 1975), 207-219.
|
| |
4
|
Habermann, A.N. Critical comments on the programming language PASCAL. Acta Informatica 3 (1973), 47-57.
|
| |
5
|
|
| |
6
|
|
| |
7
|
|
| |
8
|
Mitchell, J., and Wegbreit, B. Schemes: a high level data structuring concept. To appear in Current Trends in Programming Methodologies, R. Yeh, Ed., Prentice-Hall, Englewood Cliffs, N.J.
|
 |
9
|
|
 |
10
|
|
| |
11
|
Stoy, J.E., and Strachey, C. OS6-an experimental operating system for a small computer, Part 2; input/output and filing system. ComputerJ. 15, 3 (Aug 1972), 195-203.
|
| |
12
|
van Wijngaarden, A., Ed. A report on the algorithmic language ALGOL 68. Num. Math. 14, 2 (1969), 79-218.
|
 |
13
|
|
| |
14
|
Wirth, N. The programming language PASCAL. Acta Informatica 1 (1971), 35-63.
|
CITED BY 60
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. B. Kieburtz , W. Barabash , C. R. Hill, A type-checking program linkage system for pascal, Proceedings of the 3rd international conference on Software engineering, p.23-28, May 10-12, 1978, Atlanta, Georgia, United States
|
|
|
B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.267-283, Dec. 3, 1995
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mary Shaw , Gary Feldman , Robert Fitzgerald , Paul Hilfinger , Izumi Kimura , Ralph L. London , Jonathan Rosenberg , Wm. A. Wulf, Validating The Utility Of Abstraction Techniques, Proceedings of the 1978 annual conference, p.106-110, December 04-06, 1978, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P. M. Cashin , M. L. Joliat , R. F. Kamel , D. M. Lasker, Experience with a modular typed language: PROTEL, Proceedings of the 5th international conference on Software engineering, p.136-143, March 09-12, 1981, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hannes Goullon , Rainer Isle , Klaus-Peter Löhr, Dynamic restructuring in an experimental operating system, Proceedings of the 3rd international conference on Software engineering, p.295-304, May 10-12, 1978, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jeff Johnson , Teresa L. Roberts , William Verplank , David C. Smith , Charles H. Irby , Marian Beard , Kevin Mackey, The Xerox Star: A Retrospective, Computer, v.22 n.9, p.11-26, 28-29, September 1989
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jacky Estublier , David Leblang , André van der Hoek , Reidar Conradi , Geoffrey Clemm , Walter Tichy , Darcy Wiborg-Weber, Impact of software engineering research on the practice of software configuration management, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.383-430, October 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Manuel Fähndrich , Mark Aiken , Chris Hawblitzel , Orion Hodson , Galen Hunt , James R. Larus , Steven Levi, Language support for fast and reliable message-based communication in singularity OS, ACM SIGOPS Operating Systems Review, v.40 n.4, October 2006
|
|
|
|
|
|
|
|
|
|
|
|
Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
|
|
|
|
|
|
|
|