Publication | Closed Access
Orbit
259
Citations
20
References
2004
Year
EngineeringCps ConversionCompiler TechnologySoftware EngineeringSoftware AnalysisFormal VerificationSystems EngineeringScheme DialectCompilersHigh-level Programming LanguageDesignProgramming Language ImplementationComputer ScienceOptimizing CompilerNew JerseyFunctional ProgrammingSoftware DesignProgram AnalysisFormal MethodsSystem Software
Orbit was an optimizing compiler for T, a dialect of Scheme. Its aggressive use of CPS conversion, novel closure representations, and efficient code generation strategies made it the best compiler for a Scheme dialect at the time and for many years to come. The design of T and Orbit directly spawned six PhD theses and one Masters thesis, and influenced many other projects as well, including SML of New Jersey.
| Year | Citations | |
|---|---|---|
Page 1
Page 1