J.C.Reynolds: Preliminary design of the programming language Forsythe, Report CMU-CS-88159, Carnegie Mellon University, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....between the subtypes of Ob j eat. This operation is widely used in object oriented languages such as Simula67, Modula 3, and Oberon. The best way to explain the relations between Out: and vat types is to take Out: as a primitive operator, and consider vat (A) to be defined as a type conjunction [Reynolds 88] Var (A) intended as In (A) h Out (A) This means that Var (A) is the type of locations that have both type In (A) and type Out (A) Here In (A) is intended as the type of locations from which we can only read an A, and Out (A) as the type of locations to which we can only write an A. Hence ....

J.C.Reynolds: Preliminary design of the programming language Forsythe, Report CMU-CS-88159, Carnegie Mellon University, 1988.

....This operation is widely used in object oriented languages such as Simula67, Modula 3, and Oberon. Page 39 6.8. Mutable subtypes The best way to explain the relations between Out and Var types is to take Out as a primitive operator, and consider Var(A) to be defined as a type conjunction [Reynolds 88] Var(A) intended as In(A) Out(A) This means that Var(A) is the type of locations that have both type In(A) and type Out(A) Here In(A) is intended as the type of locations from which we can only read an A, and Out(A) as the type of locations to which we can only write an A. Hence Var(A) is ....

J.C.Reynolds: Preliminary design of the programming language Forsythe, Report CMU-CS-88159, Carnegie Mellon University, 1988. Page 67

No context found.

J.C.Reynolds: Preliminary design of the programming language Forsythe, Report CMU-CS-88159, Carnegie Mellon University, 1988.

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