本文的目标之一是证明指称语义学是有用的用于操作问题，如抽象机实现函数语言。通过研究扩展的非类型化call-by-name的情况，以教程的方式对此进行了说明带Felleisen控制算子的λ-演算[Cscr]。我们推导了从延续语义中抽象机器，延续语义表现为从逻辑上知道的翻译。生成的抽象机器它是Krivine机器的延伸，实现了头部减重。虽然结果就是Krivine的机器，众所周知，我们从连续语义派生它的方法是新的，适用于其他语言（如按值调用变体）。进一步的新结果那是斯科特的吗D类∞-模型都是延续模型的实例。此外，我们将继续语义扩展到Parigot的λμ-演算，从中我们导出了Krivine的推广λμ-微积分机。连续语义之间的关系抽象机器是由使用Pitts介绍的优雅方法证明计算充分性结果。