卢茨·施罗德;蒂尔·莫萨科夫斯基 HasCasl公司：实现功能程序的集成规范和开发。 （英语） Zbl 1275.68054号 Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422，99-116（2002）。 摘要：现代函数语言（如Haskell）中的程序开发需要一种支持此类语言的类型系统的广谱规范形式，特别是高阶类型、类型构造函数和参数多态性，它包含一个函数语言作为可执行子集，以便于快速原型制作。我们设计了HasCasl，这是代数规范语言Casl的一个高阶扩展，正是为了实现这个目的。它的语义被调整为允许通过规范细化进行程序开发，同时保持接近一阶Casl的集合理论语义。逻辑中原始概念的数量尽可能少；我们演示了如何在语言本身中对逻辑进行各种扩展，尤其是一般递归。关于整个系列，请参见[Zbl 1045.68011号]. 引用于5文件 MSC公司： 68甲18 函数编程和lambda演算 68问题65 抽象数据类型；代数规范 软件：HasCasl公司;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{T.Mossakowski}，莱克特。注释计算。科学。2422、99-116（2002年；Zbl 1275.68054） 全文： DOI程序