refs on type inference in object-oriented languages?

Jake Donham <donham@linex.com>
9 Jun 1998 11:54:08 -0400

          From comp.compilers
Related articles
refs on type inference in object-oriented languages? donham@linex.com (Jake Donham) (1998-06-09)
Re: refs on type inference in object-oriented languages? joachim.durchholz@munich.netsurf.de (Joachim Durchholz) (1998-06-11)
Re: refs on type inference in object-oriented languages? mcdirmid@beaver.cs.washington.edu (1998-06-11)
Re: refs on type inference in object-oriented languages? hind@mcs.newpaltz.edu (1998-06-11)
Re: refs on type inference in object-oriented languages? fis@mpi-sb.mpg.de (Matthias Fischmann) (1998-06-18)
| List of all articles for this month |
From: Jake Donham <donham@linex.com>
Newsgroups: comp.compilers
Date: 9 Jun 1998 11:54:08 -0400
Organization: DNAI ( Direct Network Access )
Keywords: OOP, analysis

Hi,


I'm interested in research into doing type-inference for languages
with dynamic method dispatch (I've been lead to believe from some
reading that it's difficult because type-inference algorithms try to
fix the types of variables based on how they're used, and dynamic
dispatch makes it hard to tell how they're used). Can anyone recommend
some references?


Thanks,


Jake
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.