B. Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....check in their system for the same reason that we must mark some of the pointers DYNAMIC: its safety cannot be guaranteed at compile time. Si et al. 24] identify that many casts in C programs are safe upcasts and present a tool to check such casts. The programming languages CLU [17] Cedar Mesa [16] and Modula f2 ,3g [5] include similar notions of a dynamic type and a typecase statement. This idea can also be seen in CAML s exception type [22] Other related work in this area falls into three broad categories: 1) extensions to C s type system, 2) adding runtime checks to C, and (3) ....

B. Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

....of Niklaus Wirth. The language is defined by the Modula 3 Report [3] and is currently being implemented by the Olivetti Research Center. This paper gives an overview of the language, focusing primarily upon its type system. Modula 3 is a direct descendent of Mesa [8] Modula 2 [14] Cedar [5], and Modula 2 [9, 10] It also resembles its cousins Object Pascal [13] Oberon [15] and Euclid [6] Since these languages already have more raw material than fits comfortably into a readable fifty page language definition, which we were determined to produce, we didn t need to be inventive. On ....

Butler W. Lampson. A Description of the Cedar Language. Xerox Palo Alto Research Center, CU-83-15, December 1983.

....e. In the simplest version of this semantics, C matches A if they are identical; in languages with subtyping, it is common to allow C to be a subtype of A instead. Constructs analogous to dynamic and typecase have appeared in a number of languages, including Simula 67 [3] CLU [15] Cedar Mesa [13], Amber [4] Modula 2 [20] Oberon [23] and Modula 3 [8] These constructs have surprising expressive power; for example, fixpoint operators can already be defined at every type in a simply typed lambda calculus extended with Dynamic [1] Important applications of dynamics include persistence ....

Butler Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

.... The architecture language presented here has a long tradition and has been revised several times (cf. e.g. Altmann79] Gall82] Nagl82] LN85] Lewerentz88] Nagl90] B rstler93] In some respects, it has the same history as Modula 3 when compared to its predecessors (cf. e.g. Wirth82] [Lampson83], RLW85] Rovner86] CDGJKN88] CDGJKN89] Nelson91] Harbison92] starting with a basic notion of modularity, it has seen quite some extensions and smoothing of rough edges . The most striking similarity is the careful integration of inheritance into the given conceptual framework. We ....

B.W. Lampson: A Description of the Cedar Language, Technical Report CSL--83--12, Xerox Palo Alto Research Center, 1983.

....typecase construct to give a less restrictive matching rule, allowing a tag to be a subtype of the guard type instead of requiring that the two match exactly. Constructs analogous to dynamic and typecase have been provided in a number of languages, including Simula 67 [2] CLU [18] Cedar Mesa [16], Amber [3] Modula 2 [22] Oberon [25] and Modula 3 [9] These constructs have surprising expressive power; for example, fixpoint operators can be defined at every type already in a simply typed lambda calculus extended with Dynamic [1] Important applications of dynamics include persistence ....

Butler Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

....doesn t know or care about. CLU [20] is a later language that incorporates the idea of dynamic typing in a static context. It has a type any and a force construct that attempts to coerce an any into an instance of a given type, raising an exception if the coercion is not possible. Cedar Mesa [19] provides very similar REFANY and TYPECASE. These features of Cedar Mesa were carried over directly into Modula 2 [32] and Modula 3 [8, 9] In CLU and Cedar Mesa, the primary motivation for including a dynamic type was to support programming idioms from LISP. Shaffert and Scheifler gave a formal ....

....since the argument to typetostring must be a value, not just a disembodied type. It would be possible to add another mechanism to the language, providing a way of unpackaging the type tag of a Dynamic into a data structure that could then be examined by the program. Amber [7] and Cedar Mesa [19] have this feature. Although this would be a convenient way to implement operations like type printing which may be important in practice we believe that most of the theoretical interest of Dynamic lies in the interaction between statically and dynamically checked parts of the language that ....

Butler Lampson. A description of the cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983. REFERENCES 34

....this happened because except for the annual budget planning and keeping track of purchase orders, there were no applications for spreadsheets in the research laboratory. Overview The Alto system software was begun in the middle of 1973. In October 1976 the Alto User s Handbook was published [25]. It describes a system that includes an operating system, a displayoriented editor, three illustrators, high quality printing facilities, and shared file storage and electronic mail provided by local network communication with a timesharing machine. There were also two programming languages and ....

....As in the ARPANET, however, this was of little concern, since the main customers for it are the level 3 file transfer and remote terminal services. These are normally provided by programs called FTP and Chat, invoked by users or their command scripts from the Executive command line processor [25]. FTP was written by David Boggs, Chat by Bob Sproull. There is also an FTP library package that programs can call directly to transfer files; this is used by the Laurel mail reading program, and (in an abbreviated version) by many applications that send files to the printer. Pup byte streams have ....

[Article contains additional citation context not shown here]

B. W. Lampson, editor. Alto User's Handbook. Xerox Palo Alto Research Center, 1976.

No context found.

B. Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

No context found.

Butler Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

No context found.

Butler Lampson. A description of the Cedar language. Technical Report CSL-83-15, Xerox Palo Alto Research Center, 1983.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC