Standard ML of New Jersey
- Standard ML of New Jersey
-
Standard ML of New Jersey, abgekürzt SML/NJ, ist eine frei verfügbare Implementierung der funktionalen Programmiersprache Standard ML '97.
In SML/NJ ist ein "Compilation and Library Manager" (CM) integriert, der eine modulare Softwareentwicklung erlaubt, da er automatisch Abhängigkeiten überprüft und Teilkomponenten je nach Bedarf neu übersetzt oder lädt.
Einige über den üblichen Sprachumfang hinausgehende Bibliotheken und Werkzeuge (wie z.B. ein Parsergenerator) werden bereits zusammen mit SML/NJ angeboten.
Der Compiler übersetzt als Zwischenstufe in die von der Yale FLINT Group entwickelte Sprache FLINT, aus der dann Maschinensprache für die entsprechende Zielarchitektur generiert wird.
Es ist möglich, eigenständig lauffähige Programme mit SML/NJ zu erstellen.
Weblinks
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Standard ML of New Jersey — (abbreviated SML/NJ) is a compiler and programming environment for Standard ML. Aside from its runtime system, which is written in C, SML/NJ is written in Standard ML. It was developed jointly by Bell Laboratories and Princeton University.Its… … Wikipedia
Standard ML of New Jersey — Dernière version 110.72 (6 février 2010) [+/−] … Wikipédia en Français
Standard Oil Co. \(New Jersey\) — [ stændəd ɔɪl kʌmpənɪ njuː dʒəːzɪ], früherer Name der Exxon Corp … Universal-Lexikon
Standard Oil of New Jersey — ExxonMobil Logo de ExxonMobil Création 1999 (fusion) Dates clés 1882: Création de la Standard Oil Trust 1911 … Wikipédia en Français
New Jersey Chamber of Commerce — The New Jersey Chamber of Commerce is an independent business advocacy organization based in Trenton. It represents the interests of many businesses and trade associations. It supports programs and initiatives that help grow the economy and… … Wikipedia
New Jersey Transit Rail Operations — New Jersey Transit Rail Operations … Wikipedia
New Jersey v. T. L. O. — New Jersey v. T. L. O. (underage) Supreme Court of the United States Argued March 28, 1984 Reargued … Wikipedia
New Jersey Transit Police Department — Common name New Jersey Transit Police Abbreviation NJTPD … Wikipedia
New Jersey Route 31 — New Jersey Route 30 redirects here. For the current highway called Route 30, see U.S. Route 30. This article is about the current New Jersey Route 31. For the former Route 31, see New Jersey Route 31 (pre 1953). Route 31 … Wikipedia
New Jersey Lottery — Commission Agency overview Formed 1970 Jurisdiction New Jersey Headquarters … Wikipedia
