Re: Paper announcement: Flexible Type Analysis

• To: sweirich@cs.cornell.edu
• Subject: Re: Paper announcement: Flexible Type Analysis
• From: Barry Jay <cbj@socs.uts.edu.au>
• Date: Fri, 19 Mar 1999 09:07:55 +1100 (EST)
• CC: crary+@ux7.sp.cs.cmu.edu, types@cis.upenn.edu
• In-reply-to: <199903181456.JAA17020@saul.cis.upenn.edu> (sweirich@cs.cornell.edu)

>Run-time type dispatch enables a variety of advanced optimization
>techniques for polymorphic languages, including tag-free garbage
>collection, unboxed function arguments, and flattened data structures.

Stephanie,

you can also do this using *static* shape analysis, as in my language FISh.
You might like to take a look at the FISh web-page

http://www-staff.socs.uts.edu.au/~cbj/FISh

Barry


*************************************************************************
| Associate Professor C.Barry Jay, 					|
| Reader in Computing Sciences		Phone: (61 2) 9514 1814		|
| Head, Algorithms and Languages Group,	Fax:   (61 2) 9514 1807		|
| University of Technology, Sydney,	e-mail: cbj@socs.uts.edu.au	|
| P.O. Box 123 Broadway, 2007,	  http://www-staff.socs.uts.edu.au/~cbj	|
| Australia.			        FISh homepage ... ~cbj/FISh     |
*************************************************************************

• Prev: Paper announcement: Flexible Type Analysis
• Next: School of Logic and COmputation program and call for participation
• Index(es):
  • Main
  • Thread