LoopW技术参考v0.3
计算机科学中的逻辑
2010-01-02 v2
摘要
本文档描述了LoopW语言在SML中的实现，这是一种具有高阶过程变量和非局部跳转的命令式语言，并配备了程序逻辑。它包括用户手册以及一些实现说明和许多经过认证的命令式程序示例。作为结论性示例，我们展示了一个使用callcc/throw和全局元续延编码shift/reset的命令式程序的认证。
引用
@article{arxiv.0912.5515,
title = {LoopW Technical Reference v0.3},
author = {Emmanuel Polonowski},
journal= {arXiv preprint arXiv:0912.5515},
year = {2010}
}