MIT/GNU Scheme它的特征是有丰富的运行时软件库、强力的源代码级别调试器、一个本机代码编译器和内建的叫做Edwin的类Emacs编辑器。 图书《计算机程序的构造和解释》和《经典力学的构造和解释》包含了可以在MIT/GNU Scheme上运行的软件。 Edwin是MIT/GNU Scheme附带的一个内建的类Emacs编辑器
GNU软件包列表SmartEiffel – GNU Eiffel编译器 GNU Smalltalk – ANSI Smalltalk-98实现(解释器和类库)。 CLISP – ANSI Common Lisp实现(编译器、调试器和解释器) GNU Common Lisp – Common Lisp的实现
嵌入式系统指定的地址空间 指定的存储类 基本输入输出的硬件寻址 调试通常使用内部电路仿真器或者其他一些能够在微控制器微码(microcode)内部产生中断的调试器。微码中断让调试器能够在只有CPU工作的硬件中进行操作,基于CPU的调试器能够从CPU的角度来测试和调试计算机的电路。PDP-11开创了这种特性的先河。
CLISPHaible和Michael Stoll为Atari ST而开发。现在它支持Unix和Microsoft Windows操作系统。 CLISP包括:解释器、字节码编译器、调试器、套接字接口、高层外界语言接口、强大的国际化支持、和两个对象系统:Common Lisp对象系统(CLOS)和元对象协议(MOP)。 它是用C和Common
Standard ML开始于Isabelle2016,它还有一个源代码级的ML的调试器。 CakeML,是一个基于了SML实质性子集的语言,它实现为x86-64机器码的REPL,带有正式验证的运行时间库和到汇编代码的转换。 TILT,是一个完全验证了的SML编译器,它使用有类型的中间语言来优化代码和确保正确性,并可以编译成有类型的汇编语言(英语:Typed