Standard ML of New Jersey
نویسندگان
چکیده
The Standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete environment for Standard ML that supports the implementation of large software systems and generates efficient code. The compiler has also served as a laboratory for developing novel implementation techniques for a sophisticated type and module system, continuation based code generation, efficient pattern matching, and concurrent programming features.
منابع مشابه
A Runtime System
The runtime data structures of the Standard ML of New Jersey compiler are simple yet general. As a result, code generators are easy to implement, programs execute quickly, garbage collectors are easy to implement and work efficiently, and a variety of runtime facilities can be provided with ease.
متن کاملA High-performance Garbage Collector for Standard ML
We have designed and implemented a new garbage collector for the Standard ML of New JerseySystem (SML/NJ). This collector has higher performance, lower latency and generally requires lessphysical memory than the existing SML/NJ collector. In addition, it is able to exploit the largesecondary caches found on modern workstations. This paper describes the design of the collector,an...
متن کاملA Portable Multiprocessor Interface for Standard Ml of New Jersey
We have designed a portable interface between shared-memory multiprocessors and Standard ML of New Jersey. The interface is based on the conventional kernel thread model and provides facilities that can be used to implement user-level thread packages. The interface supports experimentation with diierent thread scheduling policies and synchronization constructs. It has been ported to three diier...
متن کاملReturn Types for Functional Continuations
We add functional continuations and prompts to a language with an ML-style type system. The operators extend and simplify the control operators in Standard ML of New Jersey (SML/NJ) and Scheme, and can be themselves used to implement (simple) exceptions and references. We prove that well-typed terms never produce run-time type errors, and give a module for implementing functional continuations ...
متن کاملA Semantics for Higher-Order Functors
Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...
متن کامل