Theoretical aspects of objectoriented programming types, semantics, and language design 1993. Oop is a bit of a mixed bag of features that various languages implement in slightly different ways. Summary in acm sigplansigact symposium on principles of programming languages popl, albuquerque, new mexico. Although the theory of objectoriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs. Semantics of programming languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. Theoretical aspects of object oriented programming. Mitchell 1994 this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs. Although the theory of objectoriented programming languages is far from.
In the terms of type theory, a class is an implementation. Structures and techniques by carl gunter mit press theoretical aspects of object oriented programming languages. Programming language theory plt is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. Simple typetheoretic foundations for objectoriented. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Design, static typing and semantics, journal of functional programming 41994, pp. Types, semantics, and language design edited by carl a. Gunter, 9780262071550, available at book depository with free delivery worldwide. Course description this course will enable students to understand essential aspects of programming languages e.
This report summarizes the open problems and challenges uncovered by the group. Jones, editor, proceedings of the aarhus workshop on semanticsdirected compiler generation, number 94 in lecture notes in computer science. Type inference for objects with instance variables and inheritance. Types, semantics, and language design, mit press, 1994. Types, semantics, and language design the mit press. Theoretical aspects of objectoriented programming, types, semantics and. This results in an objectoriented language in which both parametric types and virtual classes or types are wellintegrated, and which is statically type safe. A case study of performance and interface design william r.
Pierce on binary methods, theory and practice of objectoriented systems, 11995, pp. Programming language journals, books, and publishers. Types, semantics, and language design, mit press, 1993. Pdf theoretical aspects of objectoriented programming. If youre looking for a free download links of theoretical aspects of objectoriented programming. Oop languages are diverse, but the most popular ones are class based. Inheritance is not subtyping theoretical aspects of. Design, static typing and semantics volume 4 issue 2 kim b. A stepindexed semantics of imperative objects extended. This cited by count includes citations to the following articles in scholar. In many languages, the class name is used as the name for the class the. Simple typetheoretic foundations for objectoriented programming. Types, semantics, and language design, the mit press, cambridge, ma.
Theoretical aspects of objectoriented programming types, semantics, and language design by carl a. In oop, computer programs are designed by making them out of objects that. Designed to teach the student the fundamentals of objectoriented software analysis and design. Static type systems for objectoriented programming languages have. It introduces the mathematical theory of programming languages with an emphasis on higherorder functions and type systems. Theoretical aspects of objectoriented programming types. Types, semantics, and language design foundations of computing carl a. Research report 81, dec systems research center, january 1992. Theoretical aspects of objectoriented programming guide. The text offers proof that the type system is sound by showing that the semantics preserves typing information. Tcss 143 fundamentals of objectoriented programming theory and application 5 nw, qsr develops fundamental concepts and techniques for analysis, design, and implementation of computer programs using an objectoriented language. Semanticsdriven language design statically typesafe. Statically typesafe virtual types in objectoriented languages proceedings of the fifteenth conference on the mathematical foundations of programming semantics mfps xv, new. The features listed below are common among languages considered to be.
Type theories and objectoriented programming citeseerx. Presents the theoretical aspects of objectoriented software design but focuses on the practical issues surrounding objectoriented software analysis and design and the format of the design process as it exists in an industrial setting. Strategic directions for research on programming languages. Tacs91 is the first international conference on theoretical aspects of computer science held at tohoku university, japan, in september 1991. Theoretical aspects of objectoriented programming the mit press. History of programming languages the goal of the history of programming languages conference is to produce an accurate historical record of programming language design and development. Mitchell, 1994 from logic to logic programming, kees doets, 1994 the structure of typed programming languages, david a. The semantics can be used to analyse and verify abadi and leinos object logic but it also suggests extensions. Types, semantics, and language design foundations of computing pdf, epub, docx and torrent then this site is not for you. Type inference for records in a natural extension of ml 1994.
Types, semantics, and language design foundations of computing. Types, semantics, and language design foundations of computing gunter, carl a. The second major step taken in many objectoriented language designs is to. Semantics and logic of object calculi sciencedirect. An earlier version of this paper appeared in the 1993 popl proceedings. After a brief introduction to the lambda calculus, it presents a prototypical objectoriented language, sool, with a simple type system similar to those of classbased objectoriented languages in common use. Game semantics for an objectoriented language core. Types, semantics, and language design, edited by carl a.
Theoretical aspects of objectoriented programming by carl a. Longo provable isomorphisms of types, mathematical structures in. International conference tacs 91 sendai, japan, september 2427, 1991 proceedings. Zlibrary is one of the largest online libraries in the world that contains over 4,960,000 books and 77,100,000 articles. Mitchell, editors, theoretical aspects of objectoriented programming. Types, semantics, and language design mit press, 1994.
In this paper we show how a generalization of the semantics of objectoriented languages with a mytype construct leads to a variant of virtual classes which needs no runtime checks. There is no single formal definition of oop but a number of people have tried to describe oop based on the common features of languages that claim to be object oriented. Longo provable isomorphisms of types, mathematical structures in computer science 2. For work that was not yet published, pointers are given to. Objectoriented programming oop is a style of programming that focuses on using objects to design and build applications. Semantics and syntax defining an object creating an object instance variables instance methods what is oop. This page collects references to written accounts of work presented at the workshop foundations of objectoriented languages, paris, july 1994. Algorithms and software, ami arbel, 1993 theoretical aspects of objectoriented programming. Author links open overlay panel bernhard reus a 1 thomas. Research interests professional and teaching experience. Theoretical aspects of objectoriented programmingtypes.
Home browse by title books theoretical aspects of objectoriented programming. Objectoriented programming oop is a programming paradigm based on the concept of. Includes recursive techniques, use of abstract data types adts, and introduction to simple data structures. In objectoriented programming, a class is an extensible programcodetemplate for creating objects, providing initial values for state member variables and implementations of behavior member functions or methods. Jones, editor, proceedings of the aarhus workshop on semantics directed compiler generation, number 94 in lecture notes in computer science.
Theoretical aspects of objectoriented programming the. The scope of the symposium includes all aspects of the design, semantics, theory, application, implementation, and teaching of haskell. Abstract errors for abstract data types 1977 citeseerx. In theoretical aspects of objectoriented programming. Think of an object as a model of the concepts, processes, or things in the real world that are meaningful to your application. Abstract errors for abstract data types 1977 by j a goguen venue. Objects and subtypes, type inference, coherence, record. A unifying typetheoretic framework for objects springerlink.
It falls within the discipline of computer science, both depending on and affecting mathematics, software engineering, linguistics and even cognitive science. Extensible records in a pure calculus of subtyping. Release 2 of obj3 is described in detail, with many examples. A paradigmatic objectoriented programming language. The formal semantics of programming languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.
1440 1043 1590 755 1138 580 835 562 863 137 429 1483 1153 1016 113 391 544 1575 893 922 1556 1503 891 316 1213 1251 74 1561 105 1281 921 1168 922 1448 322 604 494 405 1185 1273 1115 58 406 613