Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects Of Object-Oriented Programming: Types, Semantics and Language Design. MIT Press, 1993. 27  Home/Search   Document Not in Database   Summary   Related Articles   Check

....should be able to dynamically quit an agent and make connections to a new one. Unfortunately, there are very few theoretical tools to study dynamic binding at an abstract level. Advanced theories have been developed for object oriented systems (see the collection edited by Gunter and Mitchell[14]) but most often the semantics of dynamic binding is still treated at a rather concrete level, mimicking the implementation strategies for method lookup found in object oriented programming languages. We will go to a more abstract level through N (lambda calculus with Names) a compact extension ....

Carl A. Gunter and John C. Mitchell, eds. Theoretical aspects of object-oriented programming: types,semantics, and language design. MIT Press, Foundations of computing series, 1994.

.... procedural languages (e.g. Smalltalk, BETA, Sather, Cecil, Eiffel, Oberon, Java) There are also the theoretical language or feature designs that have been used to investigate the foundations of OO (particularly OO type systems) and to explore the design space for OO (see for instance, [16, 1, 5]) Many of the later have used some form of typed lambda calculus as the framework, often a variant of F . We will follow this course here, partly to focus on first principles, and partly to avoid being bogged down in the details and accidents of particular OO languages. Using F or Fun ....

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of ObjectOriented Programming: Types, Semantics, and Language Design. MIT Press, 1994.

.... procedural languages (e.g. Smalltalk, BETA, Sather, Cecil, Eiffel, Oberon, Java) There are also the theoretical language or feature designs that have been used to investigate the foundations of OO (particularly OO type systems) and to explore the design space for OO (see for instance, [15, 1, 5]) Many of the later have used some form of typed lambda calculus as the framework (often a variant of F ) We will follow this course here, partly to focus on first principles, and partly to avoid being bogged down in the details and accidents of particular OO languages. Using F or ....

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. MIT Press, 1994.

....sum. Extensible sums are simply generic functions in the sense of CLOS [KBdR91] while extensible products are not commonly used. The types of s and p come directly from the categorytheoretic definitions of sum and product. For other theoretical treatments of object oriented programming, see [GM94]. 98 Appendix B Code This appendix lists the Scheme code for the stratified monad transformers used in the toolkit. The code for transforming types and inverse unit operators is omitted for clarity. B.1 Monad transformer definitions This section shows the code for the most common monad ....

Carl Gunter and John Mitchell, editors. Theoretical Aspects of Object-Oriented Programming. MIT Press, Cambridge, MA, 1994.

....to this work. The first is to start a type theoretic foundation of second order ad hoc polymorphism. The second is to solve the problem of the loss of information in the overloading based model of object oriented programming [CGL92] in the same way as F solved it for the record based one [GM94] 1 Part of this work has appeared under the title F : integrating parametric and ad hoc second order polymorphism in the 4th International Workshop on Database Programming Languages. New York City, August 1993 2 The author was supported by the grant n. 203.01.56 of the Consiglio ....

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994.

....behind practice due, in part, to the difficulty of assigning a type to self application in the presence of method override. Self application occurs during method selection when the entire object is passed to the method as an implicit self argument. Recent type theoretic accounts of objects [1, 21, 5, 10] have been encoded in impredicative type theory (mainly variants of Girard s System F [9] which allow self application through an impredicative interpretation of the self parameter. In this paper, we show that the construction of objects has an interpretation in predicative type theory. This is ....

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of Object--Oriented Programming. MIT Press, 1994. 1 - 7

....This behaviour has to be compared with the consumable declaration, hu(P i, used to model processes (of ) and to the replicated and iimmutablej declaration, hu=P i, used to model functions. Many theoretical studies address the problem of modelling object oriented languages in procedural languages [22], but few of them have succeeded to preserve powerful features such as subtyping. In [1] the authors propose a compositional interpretation of a typed object calculus with subtyping into F , a calculus with second order polymorphic types. Viswanathan improved this result in [39] where he gives ....

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994.

....to our work which will be explained in more detail in section 8.3. Later, the use of first class functions in combination with records to model language constructs for modular programming became common practice in semantic and type theoretic accounts (to name only a few: Car84, CW85, KR94, GM94] This use of records in theory seems to have been widely ignored as an option for practical language designs. This is partly due to typing problems (cf. section 8.2) but also due to a different interpretation of modules, namely that of encapsulated environments (bindings of variable names to ....

....for about a decade now and some of them have been addressed in the work of several authors. The fact that the typing of flexible record operations poses similar problems as the typing of objects and classes in object oriented programming languages has been a major motivation for this work (see [GM94] for a collection of papers on these topics) The major issues of the ongoing research work are polymorphic operations on records of different structure (general selector functions, record updates without loss of type information, structural subtyping) record structure modifications (adding, ....

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. Foundations of Computing. MIT Press, 1994.

....second order polymorphic calculus [Gir72, Rey74] by subtypes. Cardelli and Wegner proposed to model objects as records of their methods. The language Fun has spawned quite a number of different calculi of varying complexity. An overview can be found in [FM94] a collection of relevant papers in [GM94] For our purpose of integrating an object calculus into a logical framework, one particular formal system, the system F [Pie92] is a suitable basis, since it avoids the complexity of calculi with recursive types [Bru92, Mit90] Moreover, introducing a general fixed point constructor into a ....

....theories and also in the field of program specification and verification [Luo92] BM93] Sch93] Hof92] Sch93] Wan92] to mention several. While there is an increasing body of work about the semantic foundations of object oriented programming, notably in the area of typed functional calculi (see [GM94] there are still only a few investigations about verification of specific objectoriented programs. Leavens and Wheil in a series of papers [Lea88, Lea90, Lea91, LW94, Lea93] investigate modular specification and verification of object oriented programs featuring subtype polymorphism and ....

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming, Types, Semantics, and Language Design. Foundations of Computing Series. MIT Press, 1994.

....not describe this concept in detail because the formalism of the proposed Ada extension provides a much simpler solution of the problem. Relationships with conventional types. The process type model comprises the essential parts of conventional object oriented type models based on the calculus [3]. For example, for two records of functions oe and with oe = ff 1 : 1 oe 0 1 ; fm : m oe 0 m ; fn : n oe 0 n g = ff 1 :oe 1 0 1 ; fm :oe m 0 m g we have oe if oe i i and oe 0 i 0 i (1 i m n) The corresponding process expressions ....

....about the behavior of the types instances. For example, Meyer s work on types as contracts [9, 10, 11] and Liskov and Wing s work on behavioral subtyping [7, 8] had a large influence. There also is a large amount of theoretical work on object oriented type systems based on the calculus [2, 3] and (more recently) types for concurrent object oriented languages [14, 15, 16, 18, 22] In types for concurrent languages it is important to consider the ordering of messages, as in the process type model [19, 20, 21] The results of this theoretical work on types for concurrent languages have ....

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of ObjectOriented Programming; Types, Semantics, and Language Design. The MIT Press, 1994.

....(i.e. is not solely reactive) DRAFT NOT FOR DISTRIBUTION 10 : 43 July 12, 42 Component Class Object Type Kind Agent Metalevel Figure 3.30: Summary of new representational entities for object network diagrams ffl Type. A type is a metaclassifier for classes and objects (as per type theory; see [7, 8, 64, 72, 157, 165]) In some languages, like C , type and class are equivalent. ffl Kind. A kind is a semantic metaclassifier for types. See Section 3.4.6 for more information on kinds. ffl Metalevels. Metalevel specification are denoted with the ghosting annotation as seen in Figure 3.30. The number of ....

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of Object-Oriented Programming. Foundations of Computing. The MIT Press, Cambridge, MA, USA, 1993.

No context found.

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects Of Object-Oriented Programming: Types, Semantics and Language Design. MIT Press, 1993. 27

No context found.

Carl Gunter and John C. Mitchell, editors. Theoretical aspects of object-oriented programming. MIT Press, 1994.

No context found.

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994.

No context found.

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. Foundations of Computing. The MIT Press, 1994.

No context found.

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. MIT Press, 1994.

No context found.

Carl A. Gunter and John C. Mitchell, eds. Theoretical aspects of object-oriented programming: types,semantics, and language design. MIT Press, Foundations of computing series, 1994.

No context found.

Carl Gunter and John C. Mitchell, editors. Theoretical aspects of object-oriented programming. MIT Press, 1994.

No context found.

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects of ObjectOriented Programming. The MIT Press, Cambridge, Mass., 1994.

No context found.

Carl A. Gunter and John C. Mitchell, eds. Theoretical aspects of object-oriented programming: types,semantics, and language design. MIT Press, Foundations of computing series, 1994.

No context found.

Carl A. Gunter and John C. Mitchell, editors. Theoretical Aspects Of Object-Oriented Programming: Types, Semantics and Language Design. MIT Press, 1993. 27

No context found.

Carl A. Gunter and John C. Mitchell, eds. Theoretical aspects of object-oriented programming: types,semantics, and language design. MIT Press, Foundations of computing series, 1994.

No context found.

Carl A. Gunter and John C. Mitchell, eds. Theoretical aspects of object-oriented programming: types,semantics, and language design. MIT Press, Foundations of computing series, 1994.

No context found.

Carl Gunter and John Mitchell, editors. Theoretical Aspects of ObjectOriented Programming. MIT Press, Cambridge, MA, 1994.

No context found.

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1993. To appear.

First 50 documents

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