指令式语言，它增加了可变变量和赋值，和强力控制机制Landin的，它能够捕获当前的续体（Scheme的算子是简化版本的Landin的J算子）。因为基于lambda演算，ISWIM有高阶函数和词法辖域变量。ISWIM的操作语义是使用Landin的SECD抽象机定义的，并且使用了传值调用因而是及早求值的。ISWIM的目标之一就是看起来更像数学表示，所以Landin放弃了ALGOL的语句间分号和begin...end块结构并把它们替代为越位规则和基于缩进的辖域。ISWIM的一个概念上的特色是使用了wher