More Web Proxy on the site http://driver.im/

Article

Free access

Semantic analysis of virtual classes and nested classes

Author:

Ole Lehrmann MadsenAuthors Info & Claims

OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 114 - 131

https://doi.org/10.1145/320384.320394

Published: 01 October 1999 Publication History

Abstract

Virtual classes and nested classes are distinguishing features of BETA. Nested classes originated from Simula, but until recently they have not been part of main stream object- oriented languages. C++ has a restricted form of nested classes and they were included in Java 1.1. Virtual classes is the BETA mechanism for expressing generic classes and virtual classes is an alternative to parameterized classes. There has recently been an increasing interest in virtual classes and a number of proposals for adding virtual classes to other languages, extending virtual classes, and unifying virtual classes and parameterized classes have been made. Although virtual classes and nested classes have been used in BETA for more than a decade, their implementation has not been published. The purpose of this paper is to contribute to the understanding of virtual classes and nested classes by presenting the central elements of the semantic analysis used in the Mjølner BETA compiler.

References

[1]

Ada Reference Manual, Proposed Standard Document, United States Department of Defense, July 1980]]

[2]

K. Arnold, J. Gosling: The Java Programming Language Second Edition, Addison Wesley, 1998.]]

Digital Library

[3]

K. Bruce, M. Odersky, P. Wadler: A Statically Safe Alternative to Virtual Types, European Conference on Object- Oriented Programming, ECOOP'98, Lecture Notes in Computer Science, Vol. 1445, Springer Verlag, 1998.]]

Digital Library

[4]

G. Bracha: Personal communication, 1999.]]

[5]

O.J. Dahl, K. Nygaard, B. Myrhaug: Simula 67 Common Base Language, Technical Report, Publ. no. S-2, Norwegian Computing Center, Oslo, 1968.]]

[6]

E. Ernst: Propagating Class and Method Combination, European Conference on Object-Oriented Programming, ECOOP'99, Lecture Notes in Computer Science, Vol. 1628, Springer Veflag, 1999.]]

Digital Library

[7]

G. Herin: Name Analysis for Object-Oriented Languages, in {9}.]]

[8]

A. Igarashi, B. Pierce: Foundations for Virtual Types, European Conference on Object-Oriented Programming, ECOOP'99, Lecture Notes in Computer Science, Vol. 1628, Springer Verlag, 1999.]]

Digital Library

[9]

J.L. Knudsen, M. Ltifgren, O.L. Madsen, B. Magnusson: Object-Oriented Environments - The Mj01ner Approach, Prentice Hall, 1994.]]

Digital Library

[10]

B.B. Kristensen, O.L. Madsen, B. M011er-Pedersen, K. Nygaard: Abstraction Mechanisms in the BETA Programming Language, Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, January 24-26 1983, Austin, Texas.]]

Digital Library

[11]

B.B. Kristensen, O.L. Madsen, B. M~ller- Pedersen, K. Nygaard: Classification of Actions or Inheritance also for Methods, European Conference on Object-Oriented Programming, ECOOP'87, Lecture Notes in Computer Science, Vol. 276, Springer Verlag, 1987.]]

Digital Library

[12]

B. Liskov, A. Snyder, R. Atkinson, C. Schaffert: Abstraction Mechanisms in CLU, Comm. ACM 20, 8 (1977), 564-576.]]

Digital Library

[13]

O.L Madsen, B. M~ller-Pedersen: Virtual Classes, a Powerful Mechanism in Object-Oriented Languages, Conference on Object-Oriented Programming, Languages, Systems and Applications, OOPSLA' 89, ACM Sigplan Notices, 24(10), 1989.]]

Digital Library

[14]

O.L. Madsen, B. Magnusson, B. M~ller-Pedersen: Strong Typing of Object-Oriented Languages Revisited, Conference on Object-Oriented Programming, Languages, Systems and Applications, OOPSLA'90, ACM Sigplan Notices, 25(10), 1990, also in {9}.]]

Digital Library

[15]

O.L. Madsen, B. M011er-Pedersen, K. Nygaard: Object- Oriented Programming with the BETA Programming Language, Addison Wesley/ACM Press, 1993.]]

Digital Library

[16]

O.L. Madsen: An Overview of BETA, in {9}.]]

[17]

O.L. Madsen: Open Issues in Object-Oriented Programming a Scandinavian Perspective, Software Practice and Experience, Vol. 25, No. $4, Dec. 1995.]]

Digital Library

[18]

O.L. Madsen: BETA: A Block-Structured Concurrent Object- Oriented Language, in Handbook of Object-Technology (S: Zamir, ed.), CRC Press, 1998.]]

[19]

B. Magnusson: An Overview of Simula, in {9}]]

[20]

B. Meyer: Genericity versus Inheritance, Conference Object- Oriented Programming Systems, Languages and Applications, OOPSLA'86, ACM Sigplan Notices, September 1986.]]

Digital Library

[21]

B. Meyer: Object-oriented Software Construction, Prentice Hall, 1988.]]

Digital Library

[22]

P. Naur (ed.): Revised Report on The Algorithmic Language ALGOL 60 Regnecentralen. Copenhagen, 1962.]]

[23]

P. Nauer: The Design of the GIER ALGOL Compiler, BIT 3, 124-140, 145-166, 1963.]]

[24]

D. Shang: Subtypes and Convertible Types, Object Currents, 1 (6), June 1996.]]

[25]

B. Stroustrup: The C++ Programming Language, Addison- Wesley, 1986.]]

Digital Library

[26]

K.K. Thorup: Genericity in Java with virtual Classes, European Conference on Object-Oriented Programming, ECOOP'97, Lecture Notes in Computer Science, Vol. 1241, Springer Verlag, 1997]]

[27]

M. Torgersen: Virtual Types are Statically Safe, 5th Workshop on Foundations of Object-Oriented Languages, January 1998.]]

[28]

K.K. Thorup, M. Torgersen: Structured Virtual Types, informal session on types for Java, 5th Workshop on Foundations of Object-Oriented Languages, January 1998.]]

[29]

K.K. Thorup, M. Torgersen: Unifying Genericity m Combining the benefits of virtual types and parameterized types, European Conference on Object-Oriented Programming, ECOOP'99, Lecture Notes in Computer Science, Vol. 1628, Springer Verlag, 1999.]]

Digital Library

Cited By

Kristensen B(2019)Abstraction in Modeling and Programming with Associations: Instantiation, Composition and InheritanceAdvances in Computer Communication and Computational Sciences10.1007/978-981-13-6861-5_2(11-31)Online publication date: 22-May-2019
https://doi.org/10.1007/978-981-13-6861-5_2
Springer MNiephaus FHirschfeld RMasuhara HFuentes LBatory DCzarnecki K(2016)Matriona: class nesting with parameterization in Squeak/SmalltalkProceedings of the 15th International Conference on Modularity10.1145/2889443.2889457(118-129)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889457
Bracha Gvon der Ahé PBykov VKashai YMaddox WMiranda E(2010)Modules as objects in newspeakProceedings of the 24th European conference on Object-oriented programming10.5555/1883978.1884007(405-428)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.5555/1883978.1884007
Show More Cited By

Index Terms

Semantic analysis of virtual classes and nested classes
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
      1. Semantics
    2. General programming languages
      1. Language features
        Classes and objects
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Semantic analysis of virtual classes and nested classes

Virtual classes and nested classes are distinguishing features of BETA. Nested classes originated from Simula, but until recently they have not been part of main stream object- oriented languages. C++ has a restricted form of nested classes and they ...
Mitotic classes
COLT'07: Proceedings of the 20th annual conference on Learning theory

For the natural notion of splitting classes into two disjoint subclasses via a recursive classifier working on texts, the question is addressed how these splittings can look in the case of learnable classes. Here the strength of the classes is compared ...
Virtual Classes and Their Implementation
CC '01: Proceedings of the 10th International Conference on Compiler Construction

One of the characteristics of BETA [4] is the unification of abstraction mechanisms such as class, procedure, process type, generic class, interface, etc. into one abstraction mechanism: the pattern. In addition to keeping the language small, the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 1999

462 pages

ISBN:1581132387

DOI:10.1145/320384

Chairmen:
Brent Hailpern
IBM T. J. Watson Research Center
,
Linda M. Northrop
Carnegie Mellon Univ., Pittsburgh, PA
,
Editor:
A. Michael Berman

ACM SIGPLAN Notices Volume 34, Issue 10
Oct. 1999
460 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/320385
Chairman:
Brent Hailpern,
Editors:
A. Michael Berman,
Linda M. Northrop
Issue’s Table of Contents

Copyright © 1999 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA99

Sponsor:

SIGPLAN

OOPSLA99: Conference on Object Oriented Programming Systems Languages and Applications

November 1 - 5, 1999

Colorado, Denver, USA

Acceptance Rates

OOPSLA '99 Paper Acceptance Rate 30 of 152 submissions, 20%;

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
764
Total Downloads

Downloads (Last 12 months)158
Downloads (Last 6 weeks)20

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kristensen B(2019)Abstraction in Modeling and Programming with Associations: Instantiation, Composition and InheritanceAdvances in Computer Communication and Computational Sciences10.1007/978-981-13-6861-5_2(11-31)Online publication date: 22-May-2019
https://doi.org/10.1007/978-981-13-6861-5_2
Springer MNiephaus FHirschfeld RMasuhara HFuentes LBatory DCzarnecki K(2016)Matriona: class nesting with parameterization in Squeak/SmalltalkProceedings of the 15th International Conference on Modularity10.1145/2889443.2889457(118-129)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889457
Bracha Gvon der Ahé PBykov VKashai YMaddox WMiranda E(2010)Modules as objects in newspeakProceedings of the 24th European conference on Object-oriented programming10.5555/1883978.1884007(405-428)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.5555/1883978.1884007
Bracha Gvon der Ahé PBykov VKashai YMaddox WMiranda E(2010)Modules as Objects in NewspeakECOOP 2010 – Object-Oriented Programming10.1007/978-3-642-14107-2_20(405-428)Online publication date: 2010
https://doi.org/10.1007/978-3-642-14107-2_20
Igarashi APierce B(2002)On inner classesInformation and Computation10.1006/inco.2002.3092177:1(56-89)Online publication date: 25-Aug-2002
https://dl.acm.org/doi/10.1006/inco.2002.3092
Madsen O(2000)Towards a Unified Programming LanguageECOOP 2000 — Object-Oriented Programming10.1007/3-540-45102-1_1(1-26)Online publication date: 12-May-2000
https://doi.org/10.1007/3-540-45102-1_1
Zhang YMyers A(2017)Familia: unifying interfaces, type classes, and family polymorphismProceedings of the ACM on Programming Languages10.1145/31338941:OOPSLA(1-31)Online publication date: 12-Oct-2017
https://dl.acm.org/doi/10.1145/3133894
Springer MNiephaus FHirschfeld RMasuhara HFuentes LBatory DCzarnecki K(2016)Matriona: class nesting with parameterization in Squeak/SmalltalkProceedings of the 15th International Conference on Modularity10.1145/2889443.2889457(118-129)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889457
Kristensen BMadsen OMøller-Pedersen BRyder BHailpern B(2007)The when, why and why not of the BETA programming languageProceedings of the third ACM SIGPLAN conference on History of programming languages10.1145/1238844.1238854(10-1-10-57)Online publication date: 9-Jun-2007
https://dl.acm.org/doi/10.1145/1238844.1238854
Igarashi APierce B(2002)On inner classesInformation and Computation10.1006/inco.2002.3092177:1(56-89)Online publication date: 25-Aug-2002
https://dl.acm.org/doi/10.1006/inco.2002.3092
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents