Learn More
The goal of the TIL project was to explore the use of Typed Intermediate Languages to produce high-performance native code from Standard ML (SML). We believed that existing SML compilers were doing a good job of conventional functional language optimizations, as one might find in a LISP compiler, but that inadequate use was made of the rich type information(More)
We describe the design and implementation of a compiler that automatically translates ordinary programs written in a subset of ML into code that generates native code at run time. Run-time code generation can make use of values and invariants that cannot be exploited at compile time, yielding code that is often superior to statically optimal code. But the(More)
This paper presents the initial results of a project to determine ifthe techniques of <italic> proof-carrying code</italic> and <italic>certifying compilers</italic> can be applied to programming languages of realistic size and complexity. The experiment shows that: (1) it is possible to implement a certifying native-code compiler for a large subset of the(More)
Proof-Carrying Code (PCC) enables a computer system to determine, automatically and with certainty, that program code provided by another system is safe to install and execute without requiring interpretation or run-time checking. PCC has applications in any computing system in which the safe, eecient, and dynamic installation of code is needed. The key(More)
This paper presents two techniques for improving garbage collection performance: generational stack collection and profile-driven pretenuring. The first is applicable to stack-based implementations of functional languages while the second is useful for any generational collector. We have implemented both techniques in a generational collector used by the(More)
BACKGROUND Concern regarding change in the onset of sexual maturation of US girls has increased the need for current information on age at menarche from a national sample. Previous reports have been sparse and interpretation has been limited because of the racial composition and ages of the samples. OBJECTIVE The objectives of this study were to estimate(More)
This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate neighbors. Meld is a declarative language, based on P2, a logic- programming language originally designed for programming overlay networks. By using logic programming, the code for an ensemble(More)
OBJECTIVE To provide clinically meaningful, normative reference data that describe the timing of sexual maturity indicators among a national sample of US children and to determine the degree of racial/ethnic differences in these estimates for each maturity indicator. METHODS Tanner staging assessment of sexual maturity indicators was recorded from 4263(More)