Compiling Standard ML For Efficient Execution On Modern Machines

Compiling Standard ML For Efficient Execution On Modern Machines (1994)

by Zhong Shao

Citations:

18 - 3 self

Datum	Value	Source
TITLE	RECOMMENDED FOR ACCEPTANCE	SVM HeaderParse 0.1
AUTHOR NAME	Zhong Shao	SVM HeaderParse 0.1
AUTHOR AFFIL	; OF PRINCETON UNIVERSITY; BY THE DEPARTMENT OF; COMPUTER SCIENCE	SVM HeaderParse 0.2
ABSTRACT	ii Many language theoreticians have taken great efforts in designing higher-level programming languages that are more elegant and more expressive than conventional languages. However, few of these new languages have been implemented very efficiently. The result is that most software engineers still prefer to use conventional languages, even though the new higherlevel languages offer a better and simpler programming model. This dissertation concentrates on improving the performance of programs written in Standard ML (SML)---a statically typed functional language---on today's RISC machines. SML poses tough challenges to efficient implementations: very frequent function calls, polymorphic types, recursive data structures, higher-order functions, and first-class continuations. This dissertation presents the design and evaluation of several new compilation techniques that meet these challenges by taking advantage of some of the higher-level language features in SML. Type-directed compilation exploits the use of compile-time type information to optimize	SVM HeaderParse 0.1
CITATIONS	124 found	ParsCit 1.0