Object-Oriented Type Inference

Palsberg, Jens; Schwartzbach, Michael I.

doi:10.7146/dpb.v20i345.6575

Cited by 80 publications

(151 citation statements)

References 20 publications

(28 reference statements)

Supporting

Mentioning

151

Contrasting

Order By: Relevance

“…Our work, as well as [25], falls in the category of type-based and constraintbased analysis, originally proposed by Palsberg and Schwartzbach [20].…”

Section: Related Workmentioning

confidence: 99%

Inference and Checking of Object Ownership

Huang

Dietl

Milanova

et al. 2012

ECOOP 2012 – Object-Oriented Programming

View full text Add to dashboard Cite

Abstract. Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a "best typing" for these type systems, and develop an inference approach that maximizes the metric. The programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.

show abstract

“…Our work, as well as [25], falls in the category of type-based and constraintbased analysis, originally proposed by Palsberg and Schwartzbach [20].…”

Section: Related Workmentioning

confidence: 99%

Inference and Checking of Object Ownership

Huang

Dietl

Milanova

et al. 2012

ECOOP 2012 – Object-Oriented Programming

View full text Add to dashboard Cite

show abstract

“…One of the most important analyses for object-oriented languages is class analysis that computes an (over-)approximation of the set of classes that an expression can evaluate to at run-time 1,3,12,23,24]. Class analysis forms the foundation for static type checking for OO programs aimed at guaranteeing that methods are only invoked on objects that implement s u c h a method.…”

Section: Introductionmentioning

confidence: 99%

Modular Class Analysis with DATALOG

Besson¹,

Jensen²

2003

Static Analysis

View full text Add to dashboard Cite

datalog can be used to specify a variety of class analyses for object-oriented programs as variations of a common framework. In this framework, the result of analyzing a class is a set of datalog clauses whose least xpoint is the information analysed for. Modular class analysis of program fragments is then expressed as the resolution of open datalog programs. We provide a theory for the partial resolution of sets of open clauses and de ne a number of operators for reducing such open clauses.

show abstract

“…In [11] we defined the basic type inference framework, and in [10] we demonstrated an efficient implementation.…”

Section: Introductionmentioning

confidence: 99%

Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

1995

Self Cite

View full text Add to dashboard Cite

Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers. Self features objects with dynamic inheritance. This construct has until now been considered incompatible with type inference because it allows the inheritance graph to change dynamically. Our algorithm handles this by deriving and solving type constraints that simultaneously define supersets of both the possible values of expressions and of the possible inheritance graphs. The apparent circularity is resolved by computing a global fixed-point, in polynomial time. The algorithm has been implemented and can successfully handle the Self benchmark programs, which exist in the "standard Self world" of more than 40,000 lines of code.

show abstract

Object-Oriented Type Inference

Cited by 80 publications

References 20 publications

Inference and Checking of Object Ownership

Inference and Checking of Object Ownership

Modular Class Analysis with DATALOG

Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

Contact Info

Product

Resources

About