虚拟机.执行Limbo代码的Dis虚拟机是CISC类的VM，具有的指令包括：算数、控制流、数据移动、进程创建、同步和进程间通信、装载代码模块的指令，并支持高级数据类型：字符串、数组、列表和通信通道。它为了循环数据而使用了混合的引用计数和实时垃圾收集。Dis的各方面设计受到用于最初的的微处理器的启发。
例子.Limbo使用Ada风格定义如下：
Hello world. implement Command;Section:::