Newsgroups: comp.lang.smalltalk
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!tank.news.pipex.net!pipex!peer-news.britain.eu.net!yama.mcc.ac.uk!thor.cf.ac.uk!scmist
From: I.S.Thomas@cs.cf.ac.uk (Ian Thomas)
Subject: Static analysis of Smalltalk
Sender: news@cf.ac.uk (USENET News System)
Message-ID: <DKx1sC.EI4@cf.ac.uk>
Date: Tue, 9 Jan 1996 13:36:12 GMT
X-Nntp-Posting-Host: garnet.cs.cf.ac.uk
Organization: Dept of Computer Science, Univ of Wales, CARDIFF
Lines: 13

Hallo !
	I was wondering if anyone could help me with a problem I have regarding
type inference in Smalltalk.  I need to be able to look at my Smalltalk code
statically and get the computer to analyse it and tell me what type each of
my variables is.  Is there an established way of doing this or if not could 
anyone recommend any good work in the area of type inference in Smalltalk that
I could start by looking at ?  

Thanks very much,

Ian

I.S.Thomas@cs.cf.ac.uk
