Accession Number : ADA306265

Title :   TIL: A Type-Directed Optimizing Compiler for ML.

Descriptive Note : Research rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Tarditi, David ; Stone, Chris ; Morrisett, Greg ; Harper, Robert ; Cheng, Perry

PDF Url : ADA306265

Report Date : 29 FEB 1996

Pagination or Media Count : 28

Abstract : We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization and loop optimization. We use intensional polymorphism and tag-free garbage collection to provide specialized representations, even though SML is a polymorphic language. We use conventional functional language optimization to reduce the cost of intensional polymorphism, and loop optimization to generate good code for recursive functions. We present an example of TIL compiling an SML function to machine code, and compare the performance of TIL code against that of a widely used compiler, Standard ML of New Jersey.

Descriptors :   *OPTIMIZATION, *COMPILERS, COSTS, RECURSIVE FUNCTIONS, LANGUAGE, LOOPS, MACHINE CODING, POLYMORPHISM.

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE