Article

Free access

Object-oriented type inference

Authors:

Jens Palsberg,

Michael I. SchwartzbachAuthors Info & Claims

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

Pages 146 - 161

https://doi.org/10.1145/117954.117965

Published: 01 November 1991 Publication History

PDF eReader

References

[1]

Alan H. Borning and Daniel H. H. Ingalls. A type dec- Iaration ~nd inference system for SmalltMk. in Ninth Symposium on Principles of Programming Languages, pages 133-141. ACM Press, January 1982.

Digital Library

Google Scholar

[2]

L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and Gordon Plotkin, editors, Semantics of Data Types, pages 51-68. Springer-Verlag (LNCS 173), 1984.

Digital Library

Google Scholar

[3]

L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. A CM Computing Surveys, 17(4), Decembe~ 1985.

Digital Library

Google Scholar

[4]

W. It. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.

Digital Library

Google Scholar

[5]

William Cook and Jess Palsberg. A denotational semantics of inheritance and its correctness. In Proc. OOPSLA '89, A CM SIGPLAN Fourth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1989. To appear in Information and Computation.

Digital Library

Google Scholar

[6]

O. J. Dahl, B. Myhrhaug, and K. Nygaard. Simula 67 common base language. Technical report, Norwegian Computing Center, Oslo, Norway, 1968.

Google Scholar

[7]

Scott Danforth and Chris Tomlinson. Type theories and object-oriented programming. A CM Computing Surveys, 20(1), March 1988.

Digital Library

Google Scholar

[8]

A. Goldberg and D. Robson. Smalltalk-80~The Language and its Implementation. Addison-Wesley, 1983.

Digital Library

Google Scholar

[9]

Justin O. Graver and Ralph E. Johnson. A type system for Smalltalk. In Seventeenth Symposium on Principles of Programming Languages, pages 136-150. AGM Press, January 1900.

Digital Library

Google Scholar

[10]

Justin Owen Graver. Type-Checking and Type- Inference for Object-Oriented Programming Languages. PhD thesis, Department of Computer Science, University of Illinois at Urbana,-Champaign, August 1989. UIUCD-R-89-1539.

Google Scholar

[11]

Andreas V. Hense. Polymorphic type inference for a simple object oriented programming language with state. Technical Report Tech. Bericht Nr. A 20/90, Universit~t des Saaxlandes, 1990.

Google Scholar

[12]

R. E. Johnson. Type-checking Smalltalk. In Proc. OOPSLA '86, Object-Oriented Programming Systems, Languages and Applications. Sigplan Notices, 21(11), November 1986.

Digital Library

Google Scholar

[13]

S. Kamin. Inheritance in Smalltalk-80" A denottional definition. In Fifteenth Symposium on Principles of Programming Languages, pages 80-87. ACM Press, January 1988.

Digital Library

Google Scholar

[14]

Marc A. Kaplan and Jeffrey D. Ullman. A general scheme for the automatic inference of variable types. In Fifth Symposium on Principles o} Programming Lan. guages, pages 60-75. ACM Press, January 1978.

Digital Library

Google Scholar

[15]

B. B. Kristensen, O. L. Madsen, B. MCUer-Pedersen, and K. Nygaard. The BETA programming language. in B. Shriver and P. Wegner, editors, Research Di. rections in Object-Oriented Programming, pages 7--48. MIT Press, 1987.

Digital Library

Google Scholar

[16]

H. G. Mairson. Decidability of ML typing is complete for deterministic exponential time. In Seventeenth Symposium on Principles of Programming Languages. ACM Press, January 1990.

Digital Library

Google Scholar

[17]

Bertrand Meyer. Object.Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.

Digital Library

Google Scholar

[18]

Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17, 1978.

Google Scholar

[19]

Prateek Mishra and Uday S. Reddy. Declaration-free type checking. In Twelfth Symposium on Principles of Programming Languages, pages 7-21. ACM Press, January 1985.

Digital Library

Google Scholar

[20]

Jens Palsberg aa-ad Michael I. Schwartzbach. Type substitution for object-oriented programming. In Proc. OOPSLA/ECOOP'90, A CM SIGPLAN Fifth Annual Conference on Object-Oriented Programming Systems, Languages and Applications; European Conference on Object. Oriented Programming, 1990.

Digital Library

Google Scholar

[21]

Jens Palsberg and Michael I. Schwartzbach. Static typing for object-oriented programming. Computer Science Department, Aarhus University. PB-355. Submitted for publication, 1991.

Google Scholar

[22]

3ens Palsberg and Michael I. Schwartzbach. What is type-safe code reuse.7 In Proc. ECOOP'91, Fifth Eu. ropean Conference on Object-Oriented Programming, 1991.

Digital Library

Google Scholar

[23]

U. S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. A CM Conference on Lisp and Functional Programming, pages 289-297. ACM, 1988.

Digital Library

Google Scholar

[24]

Didier R~my. Typechecking records and variants in a natural extension of ML. In Sixteenth Symposium on Principles of Programming Languages, pages 77-88. ACM Press, January 1989.

Digital Library

Google Scholar

[25]

Michael I. Schwartzbach. Type inference with inequalities. In Proc. TAPSOFT'91. Springer-Verlag (LNCS 493), 1991.

Digital Library

Google Scholar

[26]

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

Digital Library

Google Scholar

[27]

Norihisa Suzuki. Inferring types in Smalltalk. In Eighth Symposium on Principles of Programming Languages, pages 187-199. ACM Press, January 1981.

Digital Library

Google Scholar

[28]

Mitchell Wand. A simple algorithm and proof for type inference. Fundamentae lnformaticae, X:115-122, 1987.

Google Scholar

[29]

Mitchell Wand. Type inference for record concatenation and multiple inheritance. In LICS'89, Fourth Annual Symposium on Logic in Computer Science, 1989.

Digital Library

Google Scholar

Cited By

View all

Jin WXu SChen DHe JZhong DFan MChen HZhang HLiu TRoychoudhury APaiva AAbreu RStorey M(2024)PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python CodeProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3640325(1-12)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3597503.3640325
Jin WZhong DCai YKazman RLiu T(2023)Evaluating the Impact of Possible Dependencies on Architecture-Level MaintainabilityIEEE Transactions on Software Engineering10.1109/TSE.2022.317128849:3(1064-1085)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TSE.2022.3171288
Bose PDas DVasan SMariani SGrishchenko IContinella ABianchi AKruegel CVigna GGrundy JPollock LPenta M(2023)Columbus: Android App Testing through Systematic Callback ExplorationProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00121(1381-1392)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00121
Show More Cited By

Index Terms

Object-oriented type inference
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Procedures, functions and subroutines
      2. Language types
        Object oriented languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

November 1991

384 pages

ISBN:0201554178

DOI:10.1145/117954

Editor:
Andreas Paepcke

ACM SIGPLAN Notices Volume 26, Issue 11
Nov. 1991
362 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/118014
Editor:
Andreas Paepcke
Issue’s Table of Contents

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA 91

Sponsor:

SIGPLAN

OOPSLA 91: Object Orientated Programming Systems and Applications

October 6 - 11, 1991

Arizona, Phoenix, USA

Acceptance Rates

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

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

221
Total Citations
View Citations
1,388
Total Downloads

Downloads (Last 12 months)171
Downloads (Last 6 weeks)29

Reflects downloads up to 29 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jin WXu SChen DHe JZhong DFan MChen HZhang HLiu TRoychoudhury APaiva AAbreu RStorey M(2024)PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python CodeProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3640325(1-12)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3597503.3640325
Jin WZhong DCai YKazman RLiu T(2023)Evaluating the Impact of Possible Dependencies on Architecture-Level MaintainabilityIEEE Transactions on Software Engineering10.1109/TSE.2022.317128849:3(1064-1085)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TSE.2022.3171288
Bose PDas DVasan SMariani SGrishchenko IContinella ABianchi AKruegel CVigna GGrundy JPollock LPenta M(2023)Columbus: Android App Testing through Systematic Callback ExplorationProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00121(1381-1392)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00121
Sun KZhao YHao DZhang L(2022)Static Type Recommendation for PythonProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3561150(1-13)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3561150
Dong YGu TTian YSun CDwyer MDamian DZeller A(2022)SnRProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510061(1982-1993)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510061
Hu MZhang Y(2022)An empirical study of the Python/C API on evolution and bug patternsJournal of Software: Evolution and Process10.1002/smr.250735:2Online publication date: 6-Sep-2022
https://doi.org/10.1002/smr.2507
Ferrara POlivieri LSpoto F(2021)Static Privacy Analysis by Flow Reconstruction of Tainted DataInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402150030331:07(973-1016)Online publication date: 23-Jul-2021
https://doi.org/10.1142/S0218194021500303
Jin WZhong DDing ZFan MLiu TGrundy J(2021)Where to startProceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE51524.2021.9678947(529-541)Online publication date: 15-Nov-2021
https://dl.acm.org/doi/10.1109/ASE51524.2021.9678947
Jin WCai YKazman RZhang GZheng QLiu TGrundy JLe Goues CLo D(2020)Exploring the architectural impact of possible dependencies in Python softwareProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416619(758-770)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3416619
Jaiswal SKhedker UChakraborty S(2020)Bidirectionality in flow-sensitive demand-driven analysisScience of Computer Programming10.1016/j.scico.2020.102391(102391)Online publication date: Jan-2020
https://doi.org/10.1016/j.scico.2020.102391
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Type checking and type inference for object-oriented programming languages

Type matching and type inference for object-oriented systems

Type Inference for Variant Object Types