库尔

KOOL:重写逻辑在语言原型和分析中的应用。本文介绍了重写逻辑中定义的并发、动态、面向对象的语言KOOL。KOOL被设计成一种实验性语言,其重点在于使语言易于扩展。这是通过利用重写逻辑所提供的灵活性来实现的,它允许快速原型化新的语言特性。这个过程的一个例子是通过绘制同步方法的添加来说明的。KOOL还通过语言扩展和重写逻辑的底层功能为程序分析提供支持。通过几个例子说明了这种支持。