Re: Reconstructing the Types of Stack-Machine Codes

"Christopher W. Milner" <cwm2n@cobra.cs.virginia.edu>
21 Oct 1998 01:39:02 -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: "Christopher W. Milner" <cwm2n@cobra.cs.virginia.edu>
Newsgroups: comp.compilers
Date: 21 Oct 1998 01:39:02 -0400
Organization: University of Virginia
References: 98-10-104
Keywords: types, analysis

> Whoever knows about TYPE ANALYSIS of STACK-MACHINE CODES?


Again, this might be overkill, but you might look at the typed
assembly language (TAL) of Morrisett at Cornell. He uses type
information to generate efficient code.





Post a followup to this message

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