|
ABSTRACT
This paper presents an overview of the Cedar programming environment, focusing on its overall structure—that is, the major components of Cedar and the way they are organized. Cedar supports the development of programs written in a single programming language, also called Cedar. Its primary purpose is to increase the productivity of programmers whose activities include experimental programming and the development of prototype software systems for a high-performance personal computer. The paper emphasizes the extent to which the Cedar language, with run-time support, has influenced the organization, flexibility, usefulness, and stability of the Cedar environment. It highlights the novel system features of Cedar, including automatic storage management of dynamically allocated typed values, a run-time type system that provides run-time access to Cedar data type definitions and allows interpretive manipulation of typed values, and a powerful device-independent imaging model
that supports the user interface facilities. Using these discussions to set the context, the paper addresses the language and system features and the methodologies used to facilitate the integration of Cedar applications. A comparison of Cedar with other programming environments further identifies areas where Cedar excels and areas where work remains to be done.
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
|
BAYER, R., AND MCCREIGHT, E. Organization and maintenance of large ordered indexes. Acta Inf. 1, 3 (1972), 173-189.
|
| |
2
|
BEACI~, R. Experience with the Cedar programming environment for computer graphics research. Gr. Interface 84.
|
 |
3
|
|
 |
4
|
|
 |
5
|
|
| |
6
|
BOGGS, D., SHOCH, J., TAFT, E., AND METCALFE, R. Pup: An internetwork architecture. IEEE Trans. Commun. 28, 4 (Apr. 1980), 612-624.
|
| |
7
|
BOURNE, S. The UNIX shell. Bell Syst. Tech. J. 57, 6, Pt. 2 (Jul.-Aug. 1978), 1971-1990.
|
| |
8
|
|
| |
9
|
BROWN, M., KOLLING, K., AND TAFT, E. The Alpine file system. Xerox PARC Rep. CSL-84- 4, 1984.
|
| |
10
|
CARGILL, T. Debugging C programs with the Blit. AT&T Bell Lab. Tech. J. 63, 8, Pt. 2 (1984), 1633-1648.
|
| |
11
|
CATTELL, R. G. G. Design and implementation of a relationship-entity-datum data model. Xerox PARC Rep. CSL-83-4, 1983.
|
 |
12
|
|
 |
13
|
|
 |
14
|
|
| |
15
|
DEUTSCH, P., AND TAFT, E. Requirements for an experimental programming environment. Xerox PARC Rep. CSL-80-10, 1980.
|
 |
16
|
|
| |
17
|
DONAHUE, J., AND WIDOM. J. Whiteboards: A graphical database tool. Xerox PARC Rep. CSL-85-4, 1985.
|
| |
18
|
FELDMAN, S. Make--a program for maintaining computer programs. In UNIX Programmer's Manual, Supplementary Documents, 4.2 Berkeley Software Distribution, Virtual VAX-11 Version. Computer Science Div., Univ. of California, Berkeley, 1984.
|
 |
19
|
|
| |
20
|
|
| |
21
|
GUIBAS, L., AND SEDGEWICK, R. A dichromatic framework for balanced trees. In Proceedings of the 19th Annual Symposium on Foundations of Computer Science, (Ann Arbor. Mich., Oct. 1978).
|
| |
22
|
HAGMANN, R. Process server: Sharing processing power in a workstation environment. In Proceedings of the 6th International Conference on Distributed Computing Systems (Boston, May 1986).
|
| |
23
|
IEEE. A proposed standard for binary floating-point arithmetic. Computer 14, 3 (Mar. 1981), 51-62.
|
 |
24
|
|
 |
25
|
|
| |
26
|
LAMPSON, B., AND PIER, K.: LAMPSON, B., MCDANIEL, G., AND ORNSTEIN, S.: CLARK, D., LAMPSON, B., ANO PIER, K. The Dorado: A high performance personal computer, three papers. Xerox PARC Rep. CSL-81-1, 1981.
|
 |
27
|
|
 |
28
|
|
 |
29
|
|
 |
30
|
|
| |
31
|
|
| |
32
|
MCCREIGHT, E. The Dragon computer system: An early overview. In Proceedings of the NATO Advanced Study Institute on Microarchitecture of VLSI Computers (Urbino, Italy, Jul. 1984).
|
 |
33
|
|
| |
34
|
METCALFE, R., AND BOGGS, D.: CRANE, R., AND TAFT, E.: SHOCH, J., AND HUPP. J. The Ethernet local network: Three reports. Xerox PARC Rep. CSL-80-2, 1980.
|
| |
35
|
MITCHELL, J. Mesa language manual. Xerox PARC Rep. CSL-79-3, 1979.
|
| |
36
|
NBS. Data Encryption Standard. FIPS publ. 46, National Bureau of Standards, U.S. Dept. of Commerce, Washington, D.C., 1977.
|
| |
37
|
|
 |
38
|
|
| |
39
|
|
 |
40
|
David D. Redell , Yogen K. Dalal , Thomas R. Horsley , Hugh C. Lauer , William C. Lynch , Paul R. McJones , Hal G. Murray , Stephen C. Purcell, Pilot: an operating system for a personal computer, Communications of the ACM, v.23 n.2, p.81-92, Feb. 1980
[doi> 10.1145/358818.358822]
|
| |
41
|
RITCHIE, D., ANO THOMPSON, K. The UNIX time-sharing system. Bell Syst. Tech. J. 57, 6, Pt. 2 (Jul.-Aug. 1978), 1905-1930.
|
| |
42
|
ROVNER, P. On adding garbage collection and runtime types to a strongly-typed, staticallychecked concurrent language. Xerox PARC Rep. CSL-84-7, 1985.
|
| |
43
|
|
 |
44
|
|
| |
45
|
SERLET, B. Object-oriented programming in Cedar. In Proceedings of Journees Langages Orientes Objet (Paris, Jan. 1986). Also appears in Actes des Journees Langages Orientes Objet. Bigre Globule, 64-68.
|
| |
46
|
STEWART, L., SWINEHART, D., AND ORNSTEIN, S. Adding voice to an office computer network. In Proceedings of the GlobeCom 83, IEEE Communications Society Conference (Nov. 1983).
|
 |
47
|
|
 |
48
|
Richard E. Sweet , James G. Sandman, Jr., Empirical analysis of the mesa instruction set, Proceedings of the first international symposium on Architectural support for programming languages and operating systems, p.158-166, March 01-03, 1982, Palo Alto, California, United States
|
| |
49
|
SWlNEHART, D., ZELLWEGER, P., AND HAGMANN, R. The structure of Cedar. In Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments (Jun. 1985). SIGPLAN Not. 20, 7 (Jul. 1985).
|
 |
50
|
|
| |
51
|
|
| |
52
|
TEITELMAN, W. The Cedar programming environment: A midterm report and examination. Xerox PARC Rep. CSL-83-11, 1984.
|
| |
53
|
TEITELMAN, W., AND MASINTER, L. The Interlisp programming environment. Computer 14, 4 (Apr. 1981), 25-34.
|
| |
54
|
THACKER, C lVlVUK~lUrll, ~., ua~ar~ur~, B., orr~uuLL, R., Ar~u BOGGS, D. * ~- A computer. Xerox PARC Rep. CSL-79-11, 1979.
|
| |
55
|
WALLACE, O. Tajo functional specification, version 6.0. Xerox internal document, Oct. 1980.
|
 |
56
|
|
| |
57
|
Xerox Corp. Interlisp Reference Manual. Oct. 1983.
|
| |
58
|
Xerox Corp. Interpress Electronic Printing Standard, Version 2.1. Xerox System Integration Standard XSIS 048404, Apr. 1984.
|
| |
59
|
ZIMMERMANN, H. OSI reference model--the ISO model of architecture for open systems interconnection. IEEE Trans. Commun. 28, 4 (Apr. 1980), 425-432.
|
CITED BY 68
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Atkinson , A. Demers , C. Hauser , C. Jacobi , P. Kessler , M. Weiser, Experiences creating a portable cedar, ACM SIGPLAN Notices, v.24 n.7, p.322-329, July 1989
|
|
|
|
|
|
David M. Levy , Daniel C. Brotsky , Kenneth R. Olson, Formalizing the figural: aspects of a foundation for document manipulation, Proceedings of the ACM conference on Document processing systems, p.145-151, December 05-08, 1988, Santa Fe, New Mexico, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eric A. Bier , Maureen C. Stone , Ken Fishkin , William Buxton , Thomas Baudel, A taxonomy of see-through tools, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.358-364, April 24-28, 1994, Boston, Massachusetts, United States
|
|
|
|
|
|
|
|
|
|
|
|
Maureen C. Stone , Ken Fishkin , Eric A. Bier, The movable filter as a user interface tool, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.306-312, April 24-28, 1994, Boston, Massachusetts, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mark Aiken , Manuel Fähndrich , Chris Hawblitzel , Galen Hunt , James Larus, Deconstructing process isolation, Proceedings of the 2006 workshop on Memory system performance and correctness, October 22-22, 2006, San Jose, California
|
|
|
Godmar Back , Patrick Tullmann , Leigh Stoller , Wilson C. Hsieh , Jay Lepreau, Techniques for the design of java operating systems, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.17-17, June 18-23, 2000, San Diego, California
|
|
|
|
|
|
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
|
|
|
Godmar Back , Wilson C. Hsieh , Jay Lepreau, Processes in KaffeOS: isolation, resource management, and sharing in java, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.23-23, October 22-25, 2000, San Diego, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|