清洁 swMATH ID: 1346 软件作者： 医学博士Plasmeijer。 描述： Clean是一种基于术语图重写的函数语言。它是专门为使用纯函数语言开发现实世界应用程序而设计的。在本文中，我们首先简要概述了Clean语言最重要的基本特征，其中包括术语图重写语义。实际使用中特别重要的是Clean的唯一性类型支持任意对象的破坏性更新，并创建与外部世界的直接接口，所有这些都在一个纯粹的功能框架内。在这篇概述之后，我们将重点关注一个新的语言功能，该功能目前正在添加中。新版本的Clean提供了一个混合类型系统，包括静态类型和动态类型。动态类型的表达式称为Dynamics。在Dynamics的帮助下，可以创建移动表达式，并将其传递给其他Clean应用程序。Dynamics可用于生成插件，这些插件将在运行时进行类型检查。通常，30支持Dynamics所需的实现工作量相当大：它不仅涉及动态类型检查，还涉及动态类型统一、动态链接、实时编译、数据编码技术和代码段的版本管理。 主页： http://clean.cs.ru.nl/清洁 关键词： 并发清洗；术语图重写 相关软件： 哈斯克尔；米兰达；闪闪发光；Coq公司；毫升；伊莎贝尔/HOL；OBJ3型；i任务；PVS公司；莫德；软糖；链接；GHC公司；ATERM公司；口香糖；单足蹦跳；阿格达；象牙色；AProVE公司；保险箱 引用于： 56文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 CLEAN：基于术语图重写的编程环境。 Zbl 0910.68120号Plasmeijer，M.J。 1995 全部的 前5名92位作者引用 5 莱纳斯·普拉斯梅耶 5 马克·范·埃克伦 三 彼得·阿奇顿 三 江一成 三 Plasmeijer，M.J。 三 马泰·特伊费尔 三 范·贝克尔，斯特芬 三 王勇 2 马尔滕·德·莫尔 2 Horváth，佐尔坦 2 皮特·库普曼 2 塔马斯·科兹克 2 李健 2 刘国庆 2 萨尔瓦多卢卡斯 2 斯梅特泽斯，沙克 1 阿勒科恩，比阿特丽兹 1 阿特姆·阿利马林 1 埃里克·安蒂里亚 1 泽纳·M·阿里奥拉。 1 阿尔文德 1 Bose、Ranjan 1 卡里姆·布尤塞夫 1 埃德温·布雷迪（Edwin C.Brady）。 1 埃迪·布鲁 1 布鲁斯，T.H。 1 达席尔瓦，卡洛斯·阿尔贝托·洛佩斯 1 埃德斯科·德弗里斯 1 拉斯洛多莫斯兹莱 1 恩德鲁利斯，约尔格 1 玛丽贝尔·费尔南德斯 1 费雷拉、韦尔斯利·巴罗斯 1 科马克·弗拉纳根 1 阿夫拉罕·弗里德曼 1 杰里米·吉本斯 1 克莱门斯·格雷克 1 劳尔·古铁雷斯 1 尤里安·黑格 1 凯文·哈蒙德 1 达纳·哈灵顿 1 迪米特里·亨德里克斯 1 大卫·赫尔曼 1 拉尔夫·欣泽 1 斯特凡·霍尔德曼 1 伊亚诺，尤佐 1 克劳斯·英德马克 1 巴特·雅各布斯 1 简·马丁·詹森 1 沃尔夫拉姆·卡尔 1 理查德·肯纳韦 1 理查德·基伯茨。 1 赫莱内·基什内尔 1 约格·科勒 1 安德烈·兰内斯 1 埃里克·拉尔森。 1 阿米尔·莱舍姆 1 巴斯利坚 1 安德烈斯·洛赫 1 何塞·佩德罗·马加莱斯 1 男，军正 1 格雷格·迈克尔森 1 马库斯·莫恩 1 马可·T·莫拉赞。 1 皮埃尔·埃蒂安·莫罗 1 诺尔，托马斯 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 本杰明·皮尔斯。 1 吉安卡洛·皮拉尼 1 鲁本·罗伊，N.S。 1 大卫·萨贝尔 1 曼弗雷德·施密特·沙乌 1 斯文·博多·舒尔茨 1 马可·舒茨 1 丹尼尔·塞德尔 1 Smetsers，J.E.W。 1 溅出物，Bas 1 伯纳德·D·斯坦伯格。 1 彼得·戈尔盖·斯托伊卡 1 Tomb，亚伦 1 特伦布雷，吉尔 1 范·贝克尔，斯特芬·J·。 1 范德维恩（Alle-Jan van der Veen） 1 埃利斯·范德维根 1 范·埃克伦，M.C.J.D。 1 范·费克伦，M.C.J.D。 1 医学博士van Leer。 1 安东尼奥·克劳迪奥·帕斯卡瓦雷利 1 卢西亚诺·维埃拉·利马 1 Janis Voigtlander公司 1 罗尼·威彻斯·施勒尔 1 罗伯·威廉姆斯 1 Keiji山中 全部的 前5名21篇连载文章中引用 4 理论计算机科学 三 信息与计算 三 高阶和符号计算 2 信息学报 2 电路、系统和信号处理 2 EURASIP信号处理进展杂志 1 IEEE信息理论汇刊 1 富兰克林学院学报 1 控制论学报 1 计算机语言 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 计算机程序设计科学 1 国际并行程序设计杂志 1 计算的形式方面 1 信号处理 1 MSCS公司。计算机科学中的数学结构 1 塔特拉山脉数学出版物 1 函数编程杂志 1 RAIRO公司。理论信息学及其应用 1 现代光学杂志 1 《大学学报》。Informatica公司 全部的 前5名在8个字段中引用 48 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 5 信息与通信理论、电路（94-XX） 三 光学、电磁理论（78-XX） 2 总体主题；集合（00-XX） 1 数值分析（65-XX） 1 天文学和天体物理学（85-XX） 1 系统论；控制（93至XX） 按年份列出的引文