清洁 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 佐尔坦·霍瓦思 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 阿伦·汤姆 1 特伦布雷,吉尔 1 范·贝克尔,斯特芬·J·。 1 范德维恩,阿勒扬 1 埃利斯·范德维根 1 范·埃克伦,M.C.J.D。 1 范·费克伦,M.C.J.D。 1 医学博士van Leer。 1 安东尼奥·克劳迪奥·帕斯科亚雷利(Antonio Claudio Paschoarelli Veiga) 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) 按年份列出的引文