tool: sml2c
-
Language:
|
Standard ML
|
|---|
-
Version:
|
?
|
|---|
-
Parts:
|
compiler(->C), documentation, tests
|
|---|
-
Author:
|
School of Computer Science, Carnegie Mellon University
|
|---|
-
Location:
|
|
|---|
-
Description:
|
sml2c is a Standard ML to C compiler. sml2c is a batch
compiler and compiles only module-level declarations,
i.e. signatures, structures and functors. It provides
the same pervasive environment for the compilation of
these programs as SML/NJ. As a result, module-level
programs that run on SML/NJ can be compiled by sml2c
without any changes. Based on SML/NJ version 0.67 and shares
front end and most of its runtime system, but does not support
SML/NJ style debugging and profiling.
|
|---|
-
Conformance:
|
superset
- first-class continuations,
- asynchronous signal handling
- separate compilation
- freeze and restart programs
|
|---|
-
Ports:
|
IBM-RT Decstation3100 Omron-Luna-88k Sun-3 Sun-4 386(Mach)
|
|---|
-
Portability:
|
easy, easier than SML/NJ
|
|---|
-
Contact:
|
david.tarditi@cs.cmu.edu anurag.acharya@cs.cmu.edu
peter.lee@cs.cmu.edu
|
|---|
-
Updated:
|
June 27th, 1991
|
|---|
language: Standard ML
category: functional languages
summary, or
expanded.
|
|