皮克特 swMATH ID: 8929 软件作者: 本杰明·皮尔斯(Benjamin C.Pierce)。;大卫·N·特纳 描述: Pict是ML传统中的一种语言,通过在一个小小的内核中添加一层方便的语法糖和一个静态类型系统而形成。当前版本包括Pict-to-C编译器、参考手册、语言教程、许多库和示例程序。核心语言是Milner、Parrow和Walker的pi-calculus的一种异步变体,它被用作广泛并发计算的理论基础。Pict的目标是识别当这些原语用于构建工作程序时自然产生的高级习惯用法,如基本数据结构、返回结果的协议、高阶编程、选择性通信和并发对象。类型系统集成了最近在类型化面向对象语言的理论基础方面的工作中发现的许多特性。 主页: http://www.cis.upenn.edu/~bc皮尔斯/papers/pict/Html/pict.Html 相关软件: 乔坎尔;莫德;欧兹;毫升;埃尔朗;MWB公司;洛利;OCaml公司;灵活;斯卡拉;琳达;NRL公司;occam-pi型;皮科拉;Freshml公司;皮杜克;管道;酯类;OBJ3型;ABCL公司 引用于: 74文件 全部的 前5名124位作者引用 5 戴维·桑吉奥吉 4 丹尼尔·戈拉 4 乌韦·内斯特曼 4 Vascoconcelos、Vasco Thudichum 4 吉田信子 三 直纪小林 三 本杰明·皮尔斯。 三 科拉多·普里亚米 三 彼得·休厄尔 2 弗兰兹·阿赫尔曼 2 罗伯特·阿马迪奥(Roberto M.Amadio)。 2 菲利普·比丁格 2 菲利佩·卡萨尔 2 伊利亚诺·塞维萨托 2 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 2 阿娜·克里斯蒂娜·维埃拉·德·梅洛 2 塞德里克·Fornet 2 安德鲁·戈登。 2 轩尼诗,Matthew C.B。 2 本田、高黑 2 吕克·马兰吉特 2 马西莫·梅罗 2 安德烈亚·莫迪多 2 奥斯卡·M·尼尔斯特拉斯。 2 柯斯汀·彼得斯 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 Joshua R.X.罗斯。 2 安德烈·斯克洛夫 2 基思·旺斯堡 1 雷纳尔德·阿弗尔德 1 Allen Williams,梅尔 1 贝尔纳多·阿尔梅达。 1 法哈德·阿尔巴 1 Manuel Solórzano村 1 Beato,M.Encarnación 1 马丁·伯杰(Martin J.Berger)。 1 阿尼尔班·巴塔查里亚 1 本杰明·比斯平 1 博迪,恰拉 1 马塞洛·玛丽亚·邦桑格 1 卡罗利·博萨 1 马尔科·卡博尼 1 伊利亚州卡斯特拉尼 1 陈子春 1 Jean-Louis科拉科 1 威廉·库克。 1 卡洛斯·库斯塔(Carlos E.Cuesta)。 1 保罗·塞勒姆·达席尔瓦 1 法比安·达格纳特 1 达尔·齐利奥(Dal Zilio,Silvano) 1 德波尔(Frank S。 1 巴勃罗·德拉富恩特 1 皮耶保罗·德加诺 1 马里亚纽拉州Dezani-Ciancaglini 1 费尔南多·路易斯·多蒂 1 瑞希德·埃哈希德 1 里卡多·福卡迪 1 马丁·弗雷德里克森 1 菲利普·安·加德纳 1 迪帕克·加尔格 1 马尼什·戈尔 1 盖伊,西蒙·J。 1 卡罗尔·高布尔 1 乔治·戈蒂尔 1 朱安·吉伦·肖尔滕 1 古斯塔夫森(Rune Gustavsson) 1 皮埃尔·哈布泽特 1 保罗·汉金。 1 阿布巴卡尔·哈桑 1 希德斯,简 1 丹尼尔·赫希科夫 1 霍尔,马尔科姆 1 埃纳尔·布罗赫·约翰森 1 大卫·基钦 1 科西莫·拉内夫 1 詹姆斯·J·莱弗。 1 汉斯·沃夫冈·洛伊德 1 Loke,Seng Wai先生 1 路易斯·马里奥·洛佩斯 1 马,秦 1 伊恩·麦基 1 塞尔吉奥·马菲斯 1 佩德罗·马蒂埃洛 1 查尔斯·梅森尼尔 1 米尔纳,罗宾 1 贾亚德夫·米斯拉 1 保罗·米歇尔 1 约阿希姆·尼伦 1 Owe、Olaf 1 卡图西亚帕拉米德斯 1 马克·潘特尔 1 约阿希姆·帕罗 1 弗兰克·芬宁 1 伊恩·菲利普斯。 1 Ken G.皮尔斯。 1 罗伯特·波顿(Robert F.Pointon)。 1 保拉·夸里亚 1 阿德里安·夸克 1 朱利安·拉特克 1 阿维夫·雷格夫 …还有24位作者 全部的 前5名14篇连载文章中引用 14 理论计算机科学 6 信息与计算 三 信息学报 2 信息处理信件 2 函数编程杂志 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 计算的形式方面 1 分布式计算 1 工程、通信和计算中的应用代数 1 北欧计算机杂志 1 美国医学会杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 在3个字段中引用 74 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文