MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Object-Oriented Type Inference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Object-Oriented Type Inference
by Jens Palsberg, Michael I. Schwartzbach — 1991 — OOPSLA'91
…Abstract Object-Oriented Type Inference We present a new approach to inferring types in un- typed…
Cited by 195 (20 self) – Add To MetaCart

Object-Oriented Type Inference by Type Binding Analysis
by Wolfgang Golubski, Wolfram-M. Lippe — 1994
…Object-Oriented Type Inference by Type Binding Analysis Wolfgang Golubski Wolfram-M. Lippe…
Add To MetaCart

Incremental Type Inference for Software Engineering
by Jonathan Aldrich University
… language without manually entering the type annotations. We study the problem of type inference in object-oriented…
Add To MetaCart

Maintenance support for untyped object-oriented systems
by Jinhua Li — 1998
… of possibilities. Recent work on constraint-based object-oriented type inference [1,9,10] can produce precise…
Cited by 1 (0 self) – Add To MetaCart

Schedule
by The Following, Xp Hongwei Xi, February Ag Critique [slo
…. Schwartzbach. Object-oriented type inference. In Conference Proceedings of OOPSLA'91 -- Object Oriented…
Add To MetaCart

CompSci 790-2: Program Analysis
by John Tang Boyland, In S. Abramsky, C. Hankin, Abstract Interpretation, Declarative Languages
…, Denmark, October 1996. [PS91] Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference…
Add To MetaCart

Strongtalk: Typechecking Smalltalk in a Production Environment
by Gilad Bracha, David Griswold — 1993
… be well-defined for any expression. However, for object-oriented languages type inference is considerably…
Cited by 56 (4 self) – Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB