轻量级Java swMATH ID: 16204 软件作者: Atsushi Igarashi;本杰明·皮尔斯(Benjamin C.Pierce)。;菲利普·沃德勒 描述: 轻量级Java:Java和GJ的最小核心微积分。最近的几项研究引入了Java的轻量级版本:简化语言,其中去掉了线程和反射等复杂功能,以便对类型安全等关键属性进行严格论证。我们将这一过程进一步推进,省略了完整语言的几乎所有功能(包括接口甚至赋值),以获得一个小的微积分,Featherweight Java,对它来说,严格的证明不仅可能,而且很容易。Featherweight Java与Java的关系类似于lambda-calculus与ML和Haskell等语言的关系。它提供了类似的计算“感觉”,提供了类、方法、字段、继承和动态类型转换,其语义与Java的语义密切相关。因此,Featherweight Java的类型安全性证明说明了完整语言的安全性证明的许多有趣功能,同时保持了令人愉快的紧凑性。Featherweight Java的最小语法、类型规则和操作语义使其成为研究扩展和变体后果的方便工具。为了说明它在这方面的实用性,我们用GJ风格的泛型类(Bracha、Odersky、Stoutamire和Wadler)扩展了Featherweight Java,并给出了类型安全性的详细证明。扩展系统首次将GJ的一些关键功能形式化。 主页: http://dl.acm.org/citation.cfm?id=503505 相关软件: JML公司;毫升;艾菲尔;斯卡拉;美赞臣;甲酚;羽毛特征;关闭;Protelis公司;哈斯克尔;规格#;Coq公司;OCaml公司;罗丹;coFJ公司;PolyTOIL公司;蟒蛇;PLT兑换;JavaScript脚本;埃尔朗 引用于: 109文件 全部的 前5名167位作者引用 17 米尔科·维罗利 12 费卢西奥·达米亚尼 8 埃纳尔·布罗赫·约翰森 8 祖卡,埃琳娜 7 洛伦佐·贝蒂尼 7 保拉·吉安尼尼 7 伊娜·谢弗 6 马里亚纽拉州Dezani-Ciancaglini 6 奥维,奥拉夫 6 马丁·斯特芬 5 乔治·奥德里托 5 约翰·多夫兰 5 Atsushi Igarashi 5 丹尼尔·皮亚尼尼 5 马可·塞韦托 5 贝蒂·文内里 5 吉田、Nobuko 4 大卫·安科纳 4 雅各布·比尔 4 维维亚娜·博诺 4 萨拉·卡佩基 4 弗朗西斯科·达尼诺 4 乔瓦尼·拉戈里奥 三 罗伯特·卡萨迪 三 索菲亚·克洛伊·德罗索波卢 三 亚历克斯·波坦 三 鲁本·罗伊,N.S。 三 托比亚斯·伦格 三 基耶里·齐托 三 托马斯·图姆 三 Yu,Ingrid Chieh女士 2 毛里齐奥·齐马达莫雷 2 马里奥·科普 2 埃琳娜·贾奇诺 2 马丁·霍夫曼 2 罗曼·佩乔 2 亚历山德罗·里奇 2 舒尔特,Wolfram 2 范·贝克尔,斯特芬·J·。 1 阿卜杜勒·加瓦德(Abdel Gawad,Moez A.)。 1 罗丝·H·阿卜杜勒·劳夫。 1 艾丽卡·阿尔布拉汉姆 1 弗兰兹·阿赫尔曼 1 亚历山大·埃亨 1 克里斯·安德烈 1 斯文·阿佩尔 1 大卫·巴兹勒 1 尼克·本顿 1 亚历山大·贝格尔 1 乌尔里希·伯格 1 伦纳特·贝林格 1 贝塞,简 1 里卡多·比安奇尼 1 塔比亚·博迪斯 1 Achim D.布鲁克。 1 安德烈亚·卡普里奇奥利 1 张,再见 1 陈子春 1 Choi,Kwanghoon公司 1 伊冯·考迪 1 詹姆斯·科内 1 安德烈亚·科拉迪 1 西尔维亚·克拉法 1 乌戈·德利古罗 1 迪·皮罗(Di Pirro,Matteo) 1 阿拉斯泰尔·唐纳森。 1 安德烈·劳贝尔·杜博伊斯 1 克莱门斯·杜伯斯拉夫 1 鲍里斯·杜德尔 1 安德烈·杜登赫夫纳 1 塞尔达尔·埃尔巴图尔 1 埃里克·恩斯特 1 Mehran S·法拉。 1 塞缪尔·费托萨。 1 凯萨琳·费希尔 1 盖列塔,莱特里奥 1 菲利普·安·加德纳 1 塞丽娜·吉布斯 1 伊莫·格雷布 1 罗伯特·格拉博夫斯基 1 安德烈亚斯·格吕纳 1 尤里·古里维奇 1 伊曼纽尔·海因里 1 菲利普·哈勒 1 罗伯特·哈珀 1 卢多维奇·亨利奥 1 Hou(Favonia)、Kuen-Bang 1 伊朗,扎伊纳布 1 雅各布斯,巴特 1 Jeannin、Jean-Baptiste 1 乔治·卡拉查利亚斯 1 柯伟 1 亚历山大·基特尔曼 1 德克斯特·C·科赞。 1 拉尔夫·拉梅尔 1 马丁·伦伯格 1 约格·利比希 1 大卫·列文斯 1 路易吉·利古里 1 刘志明 …还有67位作者 全部的 前5名24篇连载文章中引用 9 理论计算机科学 9 计算机科学中的逻辑方法 8 计算机程序设计科学 6 程序设计中的逻辑和代数方法杂志 5 信息与计算 5 逻辑与代数程序设计杂志 4 计算的形式方面 4 函数编程杂志 4 计算机语言、系统和结构 三 信息学报 三 自动推理杂志 1 信息处理信件 1 《计算机杂志》。A部分/B部分 1 实时系统 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学科学年鉴 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 全部的 前5名在6个字段中引用 107 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文