Re: Reconstructing the Types of Stack-Machine Codes

M-Jourdan@calva.net (Martin Jourdan)
18 Oct 1998 23:16:48 -0400

          From comp.compilers
Related articles
Reconstructing the Types of Stack-Machine Codes cookcu@ruby.kaist.ac.kr (Oukseh Lee) (1998-10-17)
Re: Reconstructing the Types of Stack-Machine Codes anton@mips.complang.tuwien.ac.at (1998-10-18)
Re: Reconstructing the Types of Stack-Machine Codes M-Jourdan@calva.net (1998-10-18)
Re: Reconstructing the Types of Stack-Machine Codes andrewf@slhosiery.com.au (Andrew Fry) (1998-10-18)
Re: Reconstructing the Types of Stack-Machine Codes cwm2n@cobra.cs.virginia.edu (Christopher W. Milner) (1998-10-21)
Re: Reconstructing the Types of Stack-Machine Codes kers@hplb.hpl.hp.com (1998-10-24)
Re: Reconstructing the Types of Stack-Machine Codes Jan.Vitek@cui.unige.ch (1998-10-30)
| List of all articles for this month |
From: M-Jourdan@calva.net (Martin Jourdan)
Newsgroups: comp.compilers
Date: 18 Oct 1998 23:16:48 -0400
Organization: Famille Jourdan, Villepreux, France
References: 98-10-104
Keywords: code

Oukseh Lee <cookcu@ruby.kaist.ac.kr> wrote:


> Whoever knows about TYPE ANALYSIS of STACK-MACHINE CODES?
> Please make me know. Thanks in advance.


There was a paper about static analysis of PostScript code by abstract
interpretation (incl. type analysis) by Nigel Horspool and one of his
students (Jan Vitek ?) in some instance of the International
Conference on Computer Languages (92, I think) -- sorry, I can't have
access to the precise reference. Anyway, I think this paper will
answer most of your questions.


              Martin Jourdan <M-Jourdan@calva.net>


Informaticien, fan de Macintosh, de volley-ball et de Peter Gabriel

Post a followup to this message

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