Filewatcher File Search File Search
Content Search
» » » » » mlton_20100608-2_kfreebsd-amd64.deb » Content »
pkg://mlton_20100608-2_kfreebsd-amd64.deb:12093628/usr/lib/mlton/sml/mlrisc-lib/staged-alloc/  info  control  downloads

mlton - Optimizing compiler for Standard ML…  more info»


Staged Allocation for MLRISC
Mike Rainey (

Staged allocation is a technique for handling calling conventions for different
architectures and languages. The basic idea is to use a domain-specific language
for calling conventions and an allocator machine. The allocator machine takes
a convention encoded in this language and a function signature and returns the
machine locations for passing and returning values. From there, it is trivial
to generate the calling sequence. For the full treatment, see the original
paper by Olinsky et. al.

 *  Staged allocation: a compositional technique for specifying and implementing procedure calling conventions -

Our library consists of two parts: 
 * allocator - follows the operational semantics given in the paper
 * conventions - several calling conventions
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017